Format: 1.8
Date: Mon, 08 Apr 2024 09:13:27 +0200
Source: coq-bignums
Binary: libcoq-bignums
Built-For-Profiles: noudeb
Architecture: amd64
Version: 9.0.0+coq8.18-1build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-078.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:
 6e820bf278ee2ed042a8b81bdd26b2f5b11d2d37 7345 coq-bignums_9.0.0+coq8.18-1build3_amd64.buildinfo
 81a104b30d7729c580019e8e4f8c4c78d3911048 3632 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_amd64.ddeb
 3bdc4b3c7d8a60df1ffde51692a320964ad4ec43 2109294 libcoq-bignums_9.0.0+coq8.18-1build3_amd64.deb
Checksums-Sha256:
 a610ae2e9144c67cb70662fd0b3a7c63b44d73e5c77c8fa9baff58052efd19c1 7345 coq-bignums_9.0.0+coq8.18-1build3_amd64.buildinfo
 80f587ad304d4be1329d14d72c6a6ffabd5b0b9523c94529c7c8dcf2f4934da0 3632 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_amd64.ddeb
 48219b445a3cc4fbbbfbd64646615c790dda1b5e9f5fd4c577f5f9dcb132eb2a 2109294 libcoq-bignums_9.0.0+coq8.18-1build3_amd64.deb
Files:
 7bfe97a38cb63a473693b9c1312417a1 7345 ocaml optional coq-bignums_9.0.0+coq8.18-1build3_amd64.buildinfo
 9970473f5d4def7dccfb27b526cb2c5b 3632 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_amd64.ddeb
 6bf685b3145ffa540af823288d4ea5b3 2109294 ocaml optional libcoq-bignums_9.0.0+coq8.18-1build3_amd64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>