Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 05 May 2022 16:24:09 +0200
Source: coq-bignums
Binary: libcoq-bignums libcoq-bignums-ocaml libcoq-bignums-ocaml-dbgsym libcoq-bignums-ocaml-dev
Architecture: source amd64
Version: 8.15.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-bignums - Coq library for big numbers (theories)
libcoq-bignums-ocaml - Coq library for big numbers (runtime)
libcoq-bignums-ocaml-dev - Coq library for big numbers (devel)
Closes: 1010612
Changes:
coq-bignums (8.15.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010612)
Checksums-Sha1:
45522f1cc61c2ad70e742728d71b92b655e64107 2188 coq-bignums_8.15.0-1.dsc
0379854bb55a0bd3291d7687ba77f349cf577188 115485 coq-bignums_8.15.0.orig.tar.gz
4665199d418b838b159a3459d63d389ea81b7b1d 1756 coq-bignums_8.15.0-1.debian.tar.xz
4a37b2bd8fdbfc6e940e8654cff66281271e5066 8014 coq-bignums_8.15.0-1_amd64.buildinfo
1434e8ed80ecca2301b24c57c398c326c56dbfc9 3484 libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb
46dada58ba0cea1ddc641ee4c07fa45d6a1aa1ca 8852 libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb
8addd28e9a89f6e7ea0bd278209befba4f83790a 15160 libcoq-bignums-ocaml_8.15.0-1_amd64.deb
4bf7be1dad3b402c8b19a2f1e117672343253852 1808700 libcoq-bignums_8.15.0-1_amd64.deb
Checksums-Sha256:
6d7fbfcd18c7fc9899556b2ded712f8cb2558a28a16d7c09cda33a5f7de51222 2188 coq-bignums_8.15.0-1.dsc
0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
68ea9d2d774b77beafc498c2a18f610604c753dbe3b4adc9db41566486b9fef1 1756 coq-bignums_8.15.0-1.debian.tar.xz
784d2580c3b0220deba09e48ef7aa3559b682d0d54cce2b52632d1b2b5eec089 8014 coq-bignums_8.15.0-1_amd64.buildinfo
bf82f2a6d95aa3ca73614fa9cc0ae77ffd4a788e7d6cc0584d2c6dc64e00beba 3484 libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb
a20fdbee9530edba2ed3751d2b4b68de61ec8819d72ac91f5e152d2708d8a3e5 8852 libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb
633547efab38f6f19bdf36249dc48e2f07833a0a916c83a39b8a1a2518dceca8 15160 libcoq-bignums-ocaml_8.15.0-1_amd64.deb
b137609e8e4e7771b5c2b55d9b57bb7c42d3fd97c459266da103725663346d46 1808700 libcoq-bignums_8.15.0-1_amd64.deb
Files:
7189c2b67c49286a896e7c2934c93f7d 2188 ocaml optional coq-bignums_8.15.0-1.dsc
636c88701c3a459351c3973e88282fd5 115485 ocaml optional coq-bignums_8.15.0.orig.tar.gz
213467d57c155671bfda590fddb3fa82 1756 ocaml optional coq-bignums_8.15.0-1.debian.tar.xz
0277601c70a347671febbc833aa9ecdd 8014 ocaml optional coq-bignums_8.15.0-1_amd64.buildinfo
3306fb93b98d586673d27111b8fea431 3484 debug optional libcoq-bignums-ocaml-dbgsym_8.15.0-1_amd64.deb
3058b3e5e7918688f141ca0a9fbf8059 8852 ocaml optional libcoq-bignums-ocaml-dev_8.15.0-1_amd64.deb
f6834642f751be6391afeef55ae6298b 15160 ocaml optional libcoq-bignums-ocaml_8.15.0-1_amd64.deb
876602415c5261f4ef3589e824606ad3 1808700 ocaml optional libcoq-bignums_8.15.0-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJz3oUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrSMP/3VDG3TBfG2RdXpRYUvSdL0WJeEotLeb FYRPuRUDwwWHTDZkpmPt3266XpKyn8Gmlf7kbxw0zzOMB7uAMIJZOo5JcW2+XgZ0 PC3TLA30uJrUXTqwE0n9pmcpeju9PZuRN9BthGETc7OFScSYfbeWWnuCtYbjMDRd 6YCyve3eRfYxvcqEKFmIl6JTpzdzQRT/XJES8dXaWJFe46PzjFMShEDdyYvUNauz m7xPAajNRdZH8w0SKgh07eKrlZp0GdzhWHFoiYD3PMNM3Qs9gkKFjMsE3W31cgdg cMbPazDI4iE7dWx//QkVChu3HiP3NrRFk8qvGyuqsmKVVkcVk6UluZvMq3EQHAU1 8i1bEMqo/v6wPHVf02RsLDAw5MiU9ZL2fbcRlK/gn0T+dzpG0naiyhsaYzq6XgOb ldR/+QJ6HnevL1GNofQqskOtY1t76LfGujq05dnoGmQDuIQnO5dGFLxWMYW8iYsQ 4FuJNC4OlWLMdnajeXaTBvcDg/Mx5Xq7pgrdqBU9c9KiAxoZjgSttiU2N+9utR7t g7h6Isbqo29TERn3Srmwx7LIuzWWiugXkPvqAbRI/fL+K1ci2JZ1RKXF/ybzx6oL lwo2wzJpC+7VCIar9K9X9gYXpWalA0OyMMIX6FAlOKu+B5Eri9R1nZusGtRWY6LR
G1MQv5hlXIpm
=IyqE
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)