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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 11:16:44 -0400
Changed-By: Jeremy Bícha <jbicha 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-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 11:16:44 -0400
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-bignums (9.0.0+coq8.20-1build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 5333abe6fc4092e44cde4838fe1c40a88e5b6b0e 2145 coq-bignums_9.0.0+coq8.20-1build1.dsc
 f6fe23395ee22a3aa43917c22d4b4494d535388d 2164 coq-bignums_9.0.0+coq8.20-1build1.debian.tar.xz
 3bba2da64d3b381f9a40425e4f11551d969ee39f 6817 coq-bignums_9.0.0+coq8.20-1build1_source.buildinfo
Checksums-Sha256:
 f10b1071b9de910b9b853229c226cc02ea2048be94ff96d29ceef18e06176264 2145 coq-bignums_9.0.0+coq8.20-1build1.dsc
 82cb6587c1930c51a1ad47d6eaf58a6d4d3b39b398e4c46f494e407186f3bd80 2164 coq-bignums_9.0.0+coq8.20-1build1.debian.tar.xz
 2e6ee7adeb732767c40acb64fe0d70a77cc63001352920ee851dc223defddcae 6817 coq-bignums_9.0.0+coq8.20-1build1_source.buildinfo
Files:
 5d0d7ec152e1a75aa18fb428414e95ee 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build1.dsc
 610a162f77ed50034d0e8d52e4530442 2164 ocaml optional coq-bignums_9.0.0+coq8.20-1build1.debian.tar.xz
 0049d8e740befec1c471dbc4a00ccbfc 6817 ocaml optional coq-bignums_9.0.0+coq8.20-1build1_source.buildinfo