[ubuntu/mantic-proposed] coq-bignums 8.17.0-3build1 (Accepted)

[Gianfranco Costamagna]

coq-bignums (8.17.0-3build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:10:40 +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/coq-bignums/8.17.0-3build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:10:40 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-3build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-bignums (8.17.0-3build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c7964b15489c5822ccf358e98503917329296bcf 2096 coq-bignums_8.17.0-3build1.dsc
 0b146deda33043374d423fdd0b4dec771305a3e5 2004 coq-bignums_8.17.0-3build1.debian.tar.xz
 1301eac4c380985097c1a977ed2ef1a62cedd58d 7790 coq-bignums_8.17.0-3build1_source.buildinfo
Checksums-Sha256:
 a3f427e049f0e93fa78eedc9c60ea9b962f1d4490da596d0792f167e37af72c2 2096 coq-bignums_8.17.0-3build1.dsc
 786d36dce34716a00cee12469a5f1f66d404e781eade7dc5f9154ae3131f1d9b 2004 coq-bignums_8.17.0-3build1.debian.tar.xz
 03c025ab68545e962d8d64124f03bbb78a18e5fc12963d56dc12640054e855e2 7790 coq-bignums_8.17.0-3build1_source.buildinfo
Files:
 554fabeb4e431392b43d3128db72e4f3 2096 ocaml optional coq-bignums_8.17.0-3build1.dsc
 35cc2431e87074546bf108d516bcda48 2004 ocaml optional coq-bignums_8.17.0-3build1.debian.tar.xz
 53ed04b96ddfb9613b61e18b904e40bf 7790 ocaml optional coq-bignums_8.17.0-3build1_source.buildinfo