-----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-----
