[ubuntu/oracular-proposed] coq-bignums 9.0.0+coq8.20-1build2 (Accepted)

[Gianfranco Costamagna]

coq-bignums (9.0.0+coq8.20-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:37:49 +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/9.0.0+coq8.20-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:37:49 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-bignums (9.0.0+coq8.20-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c6d10517bd759c88e2e8ef8260c8d806cecf59f7 2145 coq-bignums_9.0.0+coq8.20-1build2.dsc
 9519e11693f733827dadf243ea81bbf7d5e67e2e 2204 coq-bignums_9.0.0+coq8.20-1build2.debian.tar.xz
 b47fb743e6f98ee135504a784d17c6eb4f17a945 7888 coq-bignums_9.0.0+coq8.20-1build2_source.buildinfo
Checksums-Sha256:
 2d30ae82208b9cbc591d62cceb97c38b38d6a3a5c86423047749e0025a6740e2 2145 coq-bignums_9.0.0+coq8.20-1build2.dsc
 ec855147687f211700d8309813da1378bd83af8ee09a8bf62fc2836776621d54 2204 coq-bignums_9.0.0+coq8.20-1build2.debian.tar.xz
 5c1f0fbc0fa9ac13155cb82a7656c8db11a180a704c1df3c3a00efa13a816296 7888 coq-bignums_9.0.0+coq8.20-1build2_source.buildinfo
Files:
 435bb4882a5f94df19f85a5c83b2b640 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build2.dsc
 8696889e5b93b2c85ced6e9a5bc64b48 2204 ocaml optional coq-bignums_9.0.0+coq8.20-1build2.debian.tar.xz
 2c8dc60f50f2b72dcf15591bfa80cc51 7888 ocaml optional coq-bignums_9.0.0+coq8.20-1build2_source.buildinfo