-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:14:18 +0100 Source: coq-mtac2 Binary: libcoq-mtac2 Architecture: source amd64 Version: 1.4+9.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mtac2 - Mtac2 tactic language for Coq Changes: coq-mtac2 (1.4+9.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: 83817f8f03f874f9bd872cceef495d88949c4901 2105 coq-mtac2_1.4+9.0-1.dsc 5c03eb5894f53f45797ea1bfcbd781dd0dc2ca70 252586 coq-mtac2_1.4+9.0.orig.tar.gz 518d4621ccb6695b04d614c9f21a6ef7bdbaad21 4464 coq-mtac2_1.4+9.0-1.debian.tar.xz 95713a0a48e2eefc09c5dd7f0c0744b19b36c5a4 6836 coq-mtac2_1.4+9.0-1_amd64.buildinfo 41132efc7a5cb2f56dcac460151c7ac91c4bd7fb 796520 libcoq-mtac2_1.4+9.0-1_amd64.deb Checksums-Sha256: d13f039a77f0046de931484bb10ec89a73ba15365f9adedd4a886536df3eb9ca 2105 coq-mtac2_1.4+9.0-1.dsc 805552c4e3b847c90d61928f5baeeb34ca88e3bccd17a2489410f6f28ae8613d 252586 coq-mtac2_1.4+9.0.orig.tar.gz 91af23fde0018f0a5ca0f8310fd2c64248a6d420bdfc91c0917c6d5370642677 4464 coq-mtac2_1.4+9.0-1.debian.tar.xz 0304118e2340ddc58b506edd4ea753d7f47645a6b3d9120b2e85952f01a9c7f2 6836 coq-mtac2_1.4+9.0-1_amd64.buildinfo 0480fe429efe16e332499c9d4d78a2bc38a9a443dcf0e4ea86ef19b0ea55bc9b 796520 libcoq-mtac2_1.4+9.0-1_amd64.deb Files: 4a56a9576fefb887bdb3f3c60a055bcc 2105 ocaml optional coq-mtac2_1.4+9.0-1.dsc fc58ed767936c21ff97238253eeb33b9 252586 ocaml optional coq-mtac2_1.4+9.0.orig.tar.gz 9f1a9b7ff3523fb90979c4d6f19c9ab2 4464 ocaml optional coq-mtac2_1.4+9.0-1.debian.tar.xz 10e29bf2ec8036780da237b79b8bcce0 6836 ocaml optional coq-mtac2_1.4+9.0-1_amd64.buildinfo 4207de774168312c1b26ba31dec8d41c 796520 ocaml optional libcoq-mtac2_1.4+9.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB27EZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQH6D/4h9252/k6bMCexxbjGXVhn Ydr6vXwppHWUGHHZT61UUIhDC+0bsh+2h1Ta0SyYS38LipK+dILPJ4jee7FT0rMi 4K6bTJNrhgJ6C0/+GE3SYEtVO00Z5lsalPO1JiO8B7mBVaN0CRKJIKRYIIigUDXr pGwoCGlBxS1HlJjeUxgqFwytuMJlWxZKHsspcYA24KDkbGrE5LxLdEMqBaKi7vFS Q2Yf/TiA8QBjgjKTxpRejsxXRN8MG6LZFtsJDc75hzozZ9MnH7l9gPIb3whTwnJG JT0KhXYaLdU1Ok6ZDwFyhjuvOy8KQNS6bdqD05QhAvpOcIH0NPFhPD0aAzmiAigP mbr/32Kb0yycQScVDDXQYaJgjVtNLqMIEbhlNgw+wYDCiXB6XHvGZCwwn3ABO5X3 2A74DBBMi+5z6wJgvjcV5XYOxAVhGoLYZSfsElD7DN1D6Ohqo2ZnzLyIjxKbOivj TH8R6fOlETocon93H2NBZlBKOoL+CHUQx6LE8jhYcZHitsLp5CxrdzuWjKmkAwwF rFZn4h6SCF4b9dwEPi5O+Tt2J72A9Lj5HcX/GioScne6+XP+z/Mp9GXMu8nuHCJl HGoSGkJvPVcpnBCKiputu5k55p748NAfdtoPcELr5/7SmWVIFdq0mEM1HfuBrqCm L7GmeZ9l+I7oLreqZWqohA== =PQ/y -----END PGP SIGNATURE-----
