Format: 1.8
Date: Mon, 08 Apr 2024 09:13:27 +0200
Source: coq-bignums
Binary: libcoq-bignums
Built-For-Profiles: noudeb
Architecture: s390x
Version: 9.0.0+coq8.18-1build3
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-008.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:
 659ca3683942f02cbeeecf75f31438245118d671 7156 coq-bignums_9.0.0+coq8.18-1build3_s390x.buildinfo
 6caf0b2b23a6465490da1238dc1fb2f7d8df3767 3454 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_s390x.ddeb
 013b8165e423eda60cb7d593f6c67892bfb2c7df 2109320 libcoq-bignums_9.0.0+coq8.18-1build3_s390x.deb
Checksums-Sha256:
 a68202d8156fd8cd46e417b0d2ef790db21b1662538dead9338ff2f355321715 7156 coq-bignums_9.0.0+coq8.18-1build3_s390x.buildinfo
 a009930f156fce967038eaa9b0a9d2caea73d85290b327df0910d55b4b5c7495 3454 libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_s390x.ddeb
 cfb7686ed9df18e807e5fc0ecb128338c620a4ed1dbf312954493d6e4d8edd1f 2109320 libcoq-bignums_9.0.0+coq8.18-1build3_s390x.deb
Files:
 f5b6ff99019332dbc589e5dc9a9f1f5d 7156 ocaml optional coq-bignums_9.0.0+coq8.18-1build3_s390x.buildinfo
 7c0ab2f69ce48e5b83ffcc6e5edefb1e 3454 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.18-1build3_s390x.ddeb
 f69a4b3916fde0f281d2ca6fdda7eba9 2109320 ocaml optional libcoq-bignums_9.0.0+coq8.18-1build3_s390x.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>