-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 16:16:25 +0200 Source: coq-hammer Binary: libcoq-hammer Architecture: source amd64 Version: 1.3.3+9.2-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-hammer - automated reasoning tool for Coq Changes: coq-hammer (1.3.3+9.2-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: f46ab5fcadb22b42009b0e4168ec2c7b92f36979 2114 coq-hammer_1.3.3+9.2-1.dsc c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz 8c43922899ca89ec36ffbf59ce4cf3558e1db5ac 2880 coq-hammer_1.3.3+9.2-1.debian.tar.xz b3fbd03be8fa26ce92c9a5856aaa4ed682e54c03 7423 coq-hammer_1.3.3+9.2-1_amd64.buildinfo 0f61483f4ba924a0a4ef8b629f5b0f6fb93a7f96 516536 libcoq-hammer_1.3.3+9.2-1_amd64.deb Checksums-Sha256: 2e805ec7e305aa0b07fde2cd65c9d180102b6618ab9dc8b899e2a9f737a217f2 2114 coq-hammer_1.3.3+9.2-1.dsc 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz 65a114dd89710d2d41326714a2ffe8657a2c08be554dbc069d2753cb2e709abd 2880 coq-hammer_1.3.3+9.2-1.debian.tar.xz 265ddb86f2025cf2ac5e61a7049d0fecc928553f0dc1c441376743e7aa5ea6f7 7423 coq-hammer_1.3.3+9.2-1_amd64.buildinfo d1e8c88ce693fc66a972d6389a6de55a93e1c59dd1d5e8db8d68b5a18a063e43 516536 libcoq-hammer_1.3.3+9.2-1_amd64.deb Files: e67a14cc33739edf3065e77e7f28ea32 2114 ocaml optional coq-hammer_1.3.3+9.2-1.dsc a8ac52389ab89258d6bffe68d7093de1 178234 ocaml optional coq-hammer_1.3.3+9.2.orig.tar.gz 8b14a6626736a1378e487afda584991c 2880 ocaml optional coq-hammer_1.3.3+9.2-1.debian.tar.xz 15fb1866a3342bd7934851e93042dc64 7423 ocaml optional coq-hammer_1.3.3+9.2-1_amd64.buildinfo 57e7c0c77994c70db699c7405e2cabfd 516536 ocaml optional libcoq-hammer_1.3.3+9.2-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRAVkZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUTOD/wKPpZLN2K3cFuzKwEOk0mC NFBfSg+CXTVzqSyIqcsOTXsHVwGlEMb7PnDKeb0/Nuvgu99v8sDGmNWviHe0X4KN j2yeoabEf3sLglNwYOkyERyguU5bJXWTJmk45BINGvceDKTE/KQzCiui7R3q6BQu 9etDds2zg4Vl0IhgRI8uGTEfMVOLhfru+Ti21nATRnuDwzjvEirA+2QDYsbFuHQx zJxFAEReqybZHLar/LibypnZ0J55Xk9nG7WDDt3GV6NJbG8/dHyIRWAy2LMwa2+q hLyLezZF43WOAPbW4VN4+wklGzQ8jmnGTuFCqraEuk9GexaiZLuDpTf0GaHOe27b pTgbTSLtBkyM58tNBsyyfWngkIijdVqBbEezpWG4hqChozNU2aAp69POqI36rqzg tQsLAHz57i2cfae16MNF83vGy2OgTr1Ds8Rg9UuFbCxKUFVr4V/a2vD1qqXOuQ2E Z7t1A7Ktwk4IueXWeU54mm2q5l5qNYTLfrGFHnyt1TN/RvOP0oylfgmyZpC0NO3a J+U1hQXfNjfM7YZ3hZf7I0ktA18OfWIfCnUdMmD9o2hnYqncOCnSjN7Uqu1c5yJr FJohXsF6g0IX807kVzzjb1tbg2W3eKg7Saue3Pr6NyseOSD/KIQGz9xIbsckOOet dhsFT0deOHtlb49w1o6nVg== =DdS7 -----END PGP SIGNATURE-----
pgp5stAA8Of9I.pgp
Description: PGP signature
