Format: 1.8
Date: Mon, 08 Apr 2024 09:13:27 +0200
Source: coq-bignums
Binary: libcoq-bignums
Built-For-Profiles: noudeb
Architecture: armhf
Version: 9.0.0+coq8.18-1build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-076.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-bignums - Coq library for big numbers
Changes:
 coq-bignums (9.0.0+coq8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6a75b866bcf41e898a992a8f723fd48e673c3128 7149 coq-bignums_9.0.0+coq8.18-1build3_armhf.buildinfo
 21efd8052e127bdb2a0460119b066fb3013b0028 4082 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_armhf.ddeb
 49e22537bf253e5dd7b6f491abc99c1adb535399 2108752 libcoq-bignums_9.0.0+coq8.18-1build3_armhf.deb
Checksums-Sha256:
 9fb7fc795e6a2140ce1cfdbaf100e9658134aaacf5f537144c2d0e8bb66d1686 7149 coq-bignums_9.0.0+coq8.18-1build3_armhf.buildinfo
 94a137b0dc343bd1d7f23ce63ecbca6d751075a18db93fdd490623ea2e1c6f9d 4082 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_armhf.ddeb
 ce94ffa4ed3344a60c5eb1953155ab3c50db590b4122203c9fdcb10568e09937 2108752 libcoq-bignums_9.0.0+coq8.18-1build3_armhf.deb
Files:
 02dc8ce6bf5256d5e78deb580cd1adac 7149 ocaml optional coq-bignums_9.0.0+coq8.18-1build3_armhf.buildinfo
 9b2c306403509ea371461c6f2625c913 4082 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_armhf.ddeb
 bc8be975440383b414246de3ffaf9b1a 2108752 ocaml optional libcoq-bignums_9.0.0+coq8.18-1build3_armhf.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>