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