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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:43 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:43 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build3
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-1build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 50cdfb7911fbfb54b69594599bbd8de99824b744 2145 coq-bignums_9.0.0+coq8.20-1build3.dsc
 b00225d792ad047f7f5d12abc5f6177a304e1713 2252 coq-bignums_9.0.0+coq8.20-1build3.debian.tar.xz
 9d475368df9ecc362990074c63c12ecac3720aac 5732 coq-bignums_9.0.0+coq8.20-1build3_source.buildinfo
Checksums-Sha256:
 f5fe9a8c445cdca7f4d322fcea22b6cbca9b0da58e40722805fe89572a451bf2 2145 coq-bignums_9.0.0+coq8.20-1build3.dsc
 d7f40ae98092406667389e51fddab25dffcd6d6e348e49baabfdb4a8c1c24d85 2252 coq-bignums_9.0.0+coq8.20-1build3.debian.tar.xz
 27bd233eb330eff6e1ad2ff2e482a05d8d3728fe53e92db78de50498a6a936a7 5732 coq-bignums_9.0.0+coq8.20-1build3_source.buildinfo
Files:
 390cfdfc54fdfb734fde103944090114 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build3.dsc
 e55c6d9deae64e49dc8a4a04be916776 2252 ocaml optional coq-bignums_9.0.0+coq8.20-1build3.debian.tar.xz
 290be148ebd69a61ea46bff27ca6f645 5732 ocaml optional coq-bignums_9.0.0+coq8.20-1build3_source.buildinfo