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

[Matthias Klose]

coq-bignums (9.0.0+coq8.20-1build8) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:14 +0100
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-1build8
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:14 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build8
Distribution: plucky
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-1build8) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 2fad723aa418e956065def9d60d76f5b112afeff 2145 coq-bignums_9.0.0+coq8.20-1build8.dsc
 94fe3a4aaee1f1ab73921d662a9980cf6f2b8e5b 2352 coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz
 fce5b4e2e6ca6dd988a3920984fe06f829addfb7 3863 coq-bignums_9.0.0+coq8.20-1build8_source.buildinfo
Checksums-Sha256:
 4d1611592e5221cd8e8e4e792cc1031be50634b8d2fb308921b9f3ff9dcf8f70 2145 coq-bignums_9.0.0+coq8.20-1build8.dsc
 af86b87c7a2a10d6574d56e06cba9fe041301d09d0c74ae348c9cee6061ed573 2352 coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz
 3608653794c1ae875690af1455a85698d0bc6a570425c0c6155e54175b640e5b 3863 coq-bignums_9.0.0+coq8.20-1build8_source.buildinfo
Files:
 5b2071eb357e25eb58da514bad9b01ea 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build8.dsc
 0f66fe6d824b882b5cef19aef1cdec36 2352 ocaml optional coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz
 c88463f506b42673823d79f42cf383ac 3863 ocaml optional coq-bignums_9.0.0+coq8.20-1build8_source.buildinfo