Accepted coq-bignums 8.15.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.15.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 12 May 2022 18:00:09 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=cjR6owCX88vuIZPfw11igg95r8lbzDTgARQQKDc+/vw=; b=GB3VBXj2dCfoMjwu2Lr7dbu8FX 7bh50xUhQHfoaDFA38hvikoYqWvwWIUP2Rltq3yK/x3Gsv4QFremC4ovPdWAZtYyGf2PPp1iZj1ul 67z8EdLZuR5tVsT0nuSZ/kV6TkFWkTshMPSfQNcZJ+QsxkmzBD76bLPiv/tlDrPve+N6aXo0Giz1n 9bsYOLhhpI9igv1yOfrVa5vS8d3Lq11FO96SU4UpZwOAYmrx2O46xOeg8p5RiIYcsxioB8T8Vsm72 sjO1ul48lEcNn7B3aQ0Dve88+EK5FXbTJ3HBz/WKS81wOe/y5UhNs7mkkylX0CYXHWr0hniGioGRy YIEdYjmQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1npD6f-0002qX-8L@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----