Format: 1.8
Date: Thu, 13 Mar 2025 11:07:15 +0100
Source: coq-bignums
Binary: libcoq-bignums libcoq-bignums-dbgsym
Architecture: source amd64
Version: 9.0.0+coq8.20-1+ocaml20250313
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-bignums - Coq library for big numbers
Changes:
 coq-bignums (9.0.0+coq8.20-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 4b2a74f6b111d0f3366ac2429830322ee28750db 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc
 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 84696471f7a6c71dc77882c8f3dbd79233d202f1 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz
 d2bf78525701bf29718d757a5542e90b67044be4 7263 coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo
 0e5d033df892d1f4647da5f3b1b3f97bf6d95677 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb
 2946707a9fcd2dce2e881ab99b374f4f032307a9 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb
Checksums-Sha256:
 c2c6b6baaa77a093d7ed64553e0fcbb2dd2b770258a00d237f06e3cb2964ea65 1294 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 ad31563e5470575df7c24b5e1fbe23cb178476bf6e019bad0ec973ce554620a4 2176 coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz
 7a17c91f279c2008a7de3436b8fbfa36c32bce9f7f6f17de3ff657a63b5cc258 7263 coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo
 46c7087c33495648bb691f1d6aa54a48d5a2c0d7192ea6356157e8daa7a93d79 3900 libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb
 3d96d0a81bf567f48d0ac3fa86006dd93b1988a6b83a845af1214813642b33bc 1914444 libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb
Files:
 195dd695f478aa610efcc467b741af5c 1294 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml20250313.dsc
 8af0a3df71fd3cd83e4391741519fc19 117267 ocaml optional coq-bignums_9.0.0+coq8.20.orig.tar.gz
 b2878f45b90f1460752b7ee4990f38f9 2176 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml20250313.debian.tar.xz
 34d122f1d0490c1eb8cfb1622900db4b 7263 ocaml optional coq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.buildinfo
 ffec21fe53ead99bb31c831d326fdad1 3900 debug optional libcoq-bignums-dbgsym_9.0.0+coq8.20-1+ocaml20250313_amd64.deb
 93d97db6053f5ed8f5e2cf7d1e15c80d 1914444 ocaml optional libcoq-bignums_9.0.0+coq8.20-1+ocaml20250313_amd64.deb