[ubuntu/kinetic-proposed] paramcoq 1.1.3-3build1 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3-3build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 01 Jun 2022 17:35:50 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3-3build1
-------------- next part --------------
Format: 1.8
Date: Wed, 01 Jun 2022 17:35:50 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3-3build1
Distribution: kinetic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 paramcoq (1.1.3-3build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 71bbc37f37e448ab235a0706501bca0bba0152fe 2002 paramcoq_1.1.3-3build1.dsc
 b751ec16eb3259f81b6723d33b551ebe19d655d6 2712 paramcoq_1.1.3-3build1.debian.tar.xz
 8019881551e9d20850c5c305b207f1e6ff32a7ba 7303 paramcoq_1.1.3-3build1_source.buildinfo
Checksums-Sha256:
 a2eaab2ddb8d4f02a76162d56eed4fa061f81e8977f7b22ab76f8d75dfaa223f 2002 paramcoq_1.1.3-3build1.dsc
 0e9409447c7d41ca9662aa47cf7e6d6f34c2555cff2ceaac8332c648d09ad08a 2712 paramcoq_1.1.3-3build1.debian.tar.xz
 b2e5ef98197db1f92acb59d9f747e6a879972a84a10f5657c5ff7a52369b5ce4 7303 paramcoq_1.1.3-3build1_source.buildinfo
Files:
 6cc36d96b1691afa8c22b80352c4732b 2002 ocaml optional paramcoq_1.1.3-3build1.dsc
 03ce8487189d0ae3050a8241de59c940 2712 ocaml optional paramcoq_1.1.3-3build1.debian.tar.xz
 db042c8c7a77569571068765c563b268 7303 ocaml optional paramcoq_1.1.3-3build1_source.buildinfo