-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:26:27 +0100 Source: coq-hammer Binary: libcoq-hammer Architecture: source amd64 Version: 1.3.2+9.0-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: b8881736b1b92c40f25429bc75746c7bcea13e8d 2114 coq-hammer_1.3.2+9.0-2.dsc 45c0c9e1cf965c6522ff54253973577346d8a26f 3196 coq-hammer_1.3.2+9.0-2.debian.tar.xz 64881e09935757836ba5c24bf8b79921f2b9b5c4 6827 coq-hammer_1.3.2+9.0-2_amd64.buildinfo 0b4a972ec1797820cb6bcf36f89d7e832b6cb0a7 508336 libcoq-hammer_1.3.2+9.0-2_amd64.deb Checksums-Sha256: 65f11d45fc3768b067370d709d1dd2db959d78547d9c8a75955ed152e4d3588e 2114 coq-hammer_1.3.2+9.0-2.dsc c7c697329f17f27f6dea3608eca922e0bceebea37003ef98b39d33da9c56aec6 3196 coq-hammer_1.3.2+9.0-2.debian.tar.xz cebf44e5787e60bbff0386f1e2840db8aa314699604222a4cefeb0cf56e9ac53 6827 coq-hammer_1.3.2+9.0-2_amd64.buildinfo 1e219d3a9da203d1fb33a1f0a40ccd2c867d4069de94c6eca5a7358fafdbcdee 508336 libcoq-hammer_1.3.2+9.0-2_amd64.deb Files: e7f186b570ed8de0932a5df272d79c1b 2114 ocaml optional coq-hammer_1.3.2+9.0-2.dsc 2118875f5740a5b04fa01b6b69d0ac0d 3196 ocaml optional coq-hammer_1.3.2+9.0-2.debian.tar.xz 41f669254566da3607e007f2586c5f2a 6827 ocaml optional coq-hammer_1.3.2+9.0-2_amd64.buildinfo e8f9410af3c7cbe7b747b866fa7b0c11 508336 ocaml optional libcoq-hammer_1.3.2+9.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcpsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdqPD/9CAOXObHwmIr+GUEp7O6WL aececEUlCIBB8p27qF7gifr4+G5McOVO10uqxtuv+BjFCABU62adIfLhmEKtAh3r yJs/Jr0QJL07GGCMP9NBkwz20Pl+BpuS0lizVu3m9ooBM6ikHQ3IbBp3FiVzbdYz Bvo5PTbjFFtyUcWUwVDWwLouf8kJhqWtJdh6ns0xD4bWL4/WDJs51YXYFGuN85jk N3REkGmGyKzXB4w0vRg67lJ+89RSdsvjsVeuj6XE+1/yMcZYXnwiMyiiJDB6EmnP Hf7joRk+l4QlpndhoUxfWuPaSgyQBEYQENAI5Y8qJHo6HmpFBQUqZbdwmDRYj1tM xUSVo8YpNbCk4EFvwK78QPgh1EdAt7xBCdNEgbKqRdDY+6gsyyQNBlDtrSnIP8Jw Q+oPaJUO29Glo+yt1KqjnifSDoZdHH8a2gHpG2l5Z/Zntz0UqI8dBrKKOydKXHVm /BO4rIJ24e2qDDWbGfm05uMq+OOWn81ucyNTctr30vTPggA0Kfs9KAz54nLVYuob HIxG3V499Wshto0dAsPmQt4jnBq6JYt4cYVx+MnW8j5rKREmWFb5C8wKsasrzM/d ir/dKip+1jtNi+k2xke1eNsPiqIMlB3YvlW7+EqLvFQb+mQrZZaGmHH08EYu/eCq BWbaXwUgwZ1wX3mu8Y+hDw== =vDfa -----END PGP SIGNATURE-----
