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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:16 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-bignums/9.0.0+coq8.20-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:16 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build4
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-bignums (9.0.0+coq8.20-1build4) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 5dde0489aab61820c2c4ce6560fc04d48cc7bda7 2145 coq-bignums_9.0.0+coq8.20-1build4.dsc
 3ce81d3010ba645bbbe2883e18a9f8e44cb3f811 2264 coq-bignums_9.0.0+coq8.20-1build4.debian.tar.xz
 49a7c29ff9a2d639edd2c0fec51f004cf6fe99ac 5732 coq-bignums_9.0.0+coq8.20-1build4_source.buildinfo
Checksums-Sha256:
 dbc2a2473207040f5b1fc204f25cc74895f57dbb28f2cee0be03878cfe4e1af7 2145 coq-bignums_9.0.0+coq8.20-1build4.dsc
 e95cc04fa15d32a047bd0556f34488e1acef979542922fd9efa47f3c1d3153c7 2264 coq-bignums_9.0.0+coq8.20-1build4.debian.tar.xz
 a1b9459bc5db4e9bd731e3752a72292314124f31c60e3cb460749ca4eaffe26e 5732 coq-bignums_9.0.0+coq8.20-1build4_source.buildinfo
Files:
 a4b208e357447a4a6758ba5219922559 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build4.dsc
 3aa618cc7e2488a9063fe0c381cd945a 2264 ocaml optional coq-bignums_9.0.0+coq8.20-1build4.debian.tar.xz
 c01cb71e00919afbf15a89ce2a3b2e87 5732 ocaml optional coq-bignums_9.0.0+coq8.20-1build4_source.buildinfo