Accepted coq-hammer 1.3.2+8.15-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hammer 1.3.2+8.15-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 16: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=U5di6vkK4s6fq9QBs/XfTl1zwbP27LhykisRwuLAgDA=; b=bLOyEP/yJGde2aKMbEX91nuub/ DxZqrJx7NSZC2QoznBT7rqACZURYWFbyahHsR9ok+yVbUW0X2FFmuppfTQT4uSY7au6J8eQJPI8Yz LSWCoKI1HxkqWR9liIE2xJ6vUSOebnMmJZYtgsjyuuYKj9K2Ta+6pWDRCo+W3QoRLI5Bgu+FAQ5Ma g11t/ZetbeC2VjerSwdVbJteQZHDC1wz73JBaDxRs1V37HVBYKuBvKFEY6J1x8MAKasFjQCBowzgy Wo65kMe0BY5N5MEXYAVCS377MWvdJPddOZ5A3WydAuHHXGwo9B+QQjoZ0bcsyBCGfiiTJYIzfCA5Q D/zQP9zg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDTAH-000BE6-Uw@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 15 Jul 2022 16:31:51 +0200
Source: coq-hammer
Binary: libcoq-hammer libcoq-hammer-dbgsym libcoq-hammer-tactics libcoq-hammer-tactics-dbgsym
Architecture: source amd64
Version: 1.3.2+8.15-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-hammer - automated reasoning tool for Coq (plugin)
libcoq-hammer-tactics - automated reasoning tool for Coq (tactics)
Closes: 1014973
Changes:
coq-hammer (1.3.2+8.15-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014973)
Checksums-Sha1:
f4978a3ea27ecb56dad6a820295ea57319f634e3 2171 coq-hammer_1.3.2+8.15-1.dsc
e257d15b271dbc8799638209dbadbaaa5f990184 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
75690f1008a41c9736bcd151a9601257e3cc225d 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
ec1df1463868f75b62f63a75750854197ac46210 8116 coq-hammer_1.3.2+8.15-1_amd64.buildinfo
edffa31e8a5f68907a394597040f51bf0ff875dc 26424 libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
4335b4a92c8ce5752fae87b6559c10558dbcaa63 17112 libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
c440f23913bd55f4c86919f0e05f4b48897823b7 313832 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
eaaee5ea9be50993ab26b6029897c96ff599acf3 209080 libcoq-hammer_1.3.2+8.15-1_amd64.deb
Checksums-Sha256:
16e4d9af54d0a43a06c27c3a699fd8cee25242ddb716ce9f6ca087cfa36b42c1 2171 coq-hammer_1.3.2+8.15-1.dsc
d334417f5934fc222578382977e66f7eccb7f2e6b8d9f6570d5afe1a878ca70f 148626 coq-hammer_1.3.2+8.15.orig.tar.gz
d3d6b1455bf4013a8770a494dcc5cc48248976b84a47553cfa56c534a9d4580e 2232 coq-hammer_1.3.2+8.15-1.debian.tar.xz
9ae6312c08a30e84a26ddac481941d398e5d6956185378c97634959243693378 8116 coq-hammer_1.3.2+8.15-1_amd64.buildinfo
40b27450933b99625cacdde3929d56abb46d12cfd84ce741dc96b541c9112cd1 26424 libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
46497011059cf58421b007c18debdcb56ea0e96f22c33be092aaf12738f99cc9 17112 libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
1fffadf6922761fb2f6ca1329c26c0ba89691028de6c3880e394e347b7cd6a28 313832 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
95dd6be4ef202febd20b9a1697f1f81edb4e761a02a86a6a26b3d784bfc5f119 209080 libcoq-hammer_1.3.2+8.15-1_amd64.deb
Files:
ea22c2385c410861b365356e1c8cff7a 2171 ocaml optional coq-hammer_1.3.2+8.15-1.dsc
7e7b0401a864c1d04ac345fd63373926 148626 ocaml optional coq-hammer_1.3.2+8.15.orig.tar.gz
fb8c0817757c727b895adb999ec43029 2232 ocaml optional coq-hammer_1.3.2+8.15-1.debian.tar.xz
3d7a28826a5d8290b558b7e23b168d88 8116 ocaml optional coq-hammer_1.3.2+8.15-1_amd64.buildinfo
6acec5a9c976f3f0ef61bde6037fec00 26424 debug optional libcoq-hammer-dbgsym_1.3.2+8.15-1_amd64.deb
33ba766964e399b05161fdaa2d96b139 17112 debug optional libcoq-hammer-tactics-dbgsym_1.3.2+8.15-1_amd64.deb
93f41f6db71fde78f76c2d7b4b1c8ebd 313832 ocaml optional libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb
265d8c2764349ec3dcc89273e5f3402a 209080 ocaml optional libcoq-hammer_1.3.2+8.15-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRe5cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpmwP/2mZ6DPE/tPChMhD/ze0FEBRQnxtfJeI
LcFxv+4lM24eGHPY/JJSujComt1ICOzaUePSP+PLSBYbsS3m7nJb67JcE10KBB6r
YNrqiBorVEWFG10ZzUAPoSoaTyBLwUbh8MZ2/VRQWuYLZ+/C69dUFqzcXSN2OTBy
U79zNSwq6QDyryWjADUfsGLaug97edT+MdcxP6ZnsI+Yd2m/yFJRDc/xn93DUcnh
zbgiNCY3078wWZeYWqQBd+hFv3m870CTUx948oCLoQVP0lLRjGloz5bMTqtweqwO
c46yiFh3DHhTEJesjZD6O0ogY6+shgC+n6UCoPlZQza+0BMwA3a8A6wWKgxMYFDW
SnwirJMDcET4LI7i+7hrfc2JKlib0Pjgf/BaIAWFdEPUDzR4WVXKVL/+Hmi1DbjF
/iWmGmUBqXpRO+fhlUT9ub/QUH0vQr/wSuC9QypTli2Ksscl9Ua4w/zSU4tWYIHo
HD66/yh1rr2LFEWad3wokEp0rs8hSrECN0LFyKfVnqSn4Np14EzlTxrTt4ir0Rn5
O/sKewPG8IDFtexLer/PtmxEBKNmmvnSwNk2SCmwchZ/m/qmICO5MlJzSiNBesvg
1mkbgpvYzsPHGmDgm9cfUNWY4g/lXF+w2dtKDeBpF8C3HH+63eBp9sQpGwUZD1mS
Al0LpWuVXcia
=O0NX
-----END PGP SIGNATURE-----