-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:05:48 +0100 Source: coq-hammer Binary: libcoq-hammer Architecture: source amd64 Version: 1.3.2+9.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-hammer - automated reasoning tool for Coq Changes: coq-hammer (1.3.2+9.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Update lintian overrides. * New upstream release. Checksums-Sha1: 180bfd0fa2ffff017f42883039a86ae08e7f328d 2107 coq-hammer_1.3.2+9.0-1.dsc aec3639b81dbf47886796190b8b8c30017daa1a1 148850 coq-hammer_1.3.2+9.0.orig.tar.gz 34b9cd3735711442bcfb870920b878d95b1b2366 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz 855f6871ac4c6f4b1f4a848ab7accc44c7f22aa6 6830 coq-hammer_1.3.2+9.0-1_amd64.buildinfo 4c078adaaf7de5cde50698b003c966f2342537d6 507964 libcoq-hammer_1.3.2+9.0-1_amd64.deb Checksums-Sha256: 1c8cd476ec3b503d788436f3fd343d57212e8f36a0058ec427114770236abbfa 2107 coq-hammer_1.3.2+9.0-1.dsc da703c73d3888668e0810b77575126591bc2051d820732f1050bba78f4c80510 148850 coq-hammer_1.3.2+9.0.orig.tar.gz ab1051f8158c44d0f3206b205e1b6cb8f08b80b055698d6a4068d62e336fe8ad 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz 1b898ee9d5d2751968b0e3aaa50c9171d4a9bc2af411f232dd8a1bc2dc85c1e7 6830 coq-hammer_1.3.2+9.0-1_amd64.buildinfo d8b096aa1d43e165e0a2e7c5e1bfb46fbce88d765a429c466bcbb04d7f1a092a 507964 libcoq-hammer_1.3.2+9.0-1_amd64.deb Files: b78f489c51e793b446aa4b8897f8d587 2107 ocaml optional coq-hammer_1.3.2+9.0-1.dsc 354dda0300e9af3122f45087d8be4098 148850 ocaml optional coq-hammer_1.3.2+9.0.orig.tar.gz 07541d95597ee1a87ce315af85dee93b 3156 ocaml optional coq-hammer_1.3.2+9.0-1.debian.tar.xz 7a429147e1d1682a2ee6951fe77d3ec9 6830 ocaml optional coq-hammer_1.3.2+9.0-1_amd64.buildinfo 997adb8295e6878a975af0334ac4238f 507964 ocaml optional libcoq-hammer_1.3.2+9.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBy4oZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUL5D/9AuuiS3peqpn4xScA28V5t /Ro99W1eHRU3zBDTZIUImK/O7BV8d14oAavlI51G4hCvJ+d1qzKjTnSFoHFKBN5+ 0wAsKX3tLIroUp9Anrgdplp5l8R4uSncS0KVgwQifEWYFYr6js5c3yYeBbSmrqKd DtSw5ibJwfPR8SyEGlEjF4MUbEpyNG/+/cvH8Qm/D/D497isSlWrY+LgnIqSHJlk Q2oRXHyeYBu9DpVlq1bSdJkiLw0ziz+YUC5KVOYW1Ej+4EMl4MQZBNB6U+P1MDCe A5U1xutueUsIw97uSsDQXlypuXqbfDyoB4tX3t6VmHP5U0XHYvZE5zcxURCnTBkq s/rDXWFKy+rK6eMyEwn1HnQt71BwKoxMbe1g+pSKZYxjiCB96F0rh2rm9skMPUcF n2ViPBS0Zs2R8/E4sN9of4FJFpstyK2s7JHpYArGDbI1JZiOetefkonF1QyD7dg2 VX53Yiql9redk1nE/64DE9MH8H7iAvq6Kvrku0A5bpDRgZXq2mRQn3OZDRy1426n eC/v9fXrYqnLIIcGybKaTvyc2M9qevjjzU7qBEGKWf8vY4CcXW6MtK8OUB6kP25D RyZFBACqsUu1tyFI3AyTEJQwmXqfIFDrhZAWF56z+jR4Qy025Re80GTkIuVkNBj6 j9miCMbZP2Ndo2eIFoAvqg== =J8E/ -----END PGP SIGNATURE-----
Attachment:
pgp1X9lcqqZVl.pgp
Description: PGP signature