-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 22 Jul 2026 20:23:21 +0200 Source: aac-tactics Binary: libcoq-aac-tactics Architecture: source amd64 Version: 9.0.0-4 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-aac-tactics - Rocq tactics for reasoning modulo AC (theories) Changes: aac-tactics (9.0.0-4) unstable; urgency=medium . * Prepare for upload to unstable. Checksums-Sha1: bdd908a69168aa1e3f2d10a1820286e7c9897ae9 2106 aac-tactics_9.0.0-4.dsc 9e382797a969e3dc1c4fcec7db8ffff7360b189c 70184 aac-tactics_9.0.0.orig.tar.gz f595031ec89145c1ee23a52e89c8fe1eaa67198f 4004 aac-tactics_9.0.0-4.debian.tar.xz ff8c809ed0d11d6ed1e26bff5e9a78198ca3be36 6931 aac-tactics_9.0.0-4_amd64.buildinfo b799b5c879513d35ae99aa0d04c9ac86f8afe1f8 396280 libcoq-aac-tactics_9.0.0-4_amd64.deb Checksums-Sha256: 144a2092e12e1b810e5603d7eee9c569b2fd72eb0960c4a0239ba8cb6784f1be 2106 aac-tactics_9.0.0-4.dsc 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz a95d84f434c3350815a29726394c0d8dfab88ff68653ceeeb812a1d38fe903ea 4004 aac-tactics_9.0.0-4.debian.tar.xz 2eef30570eda330aad804c4a9dcd91d508fc14c5b64058c8c4d4c311d469b967 6931 aac-tactics_9.0.0-4_amd64.buildinfo 272c9d618d1b6957d1d3eac540da32008cab1474e56b28c6a7248e32b74b242c 396280 libcoq-aac-tactics_9.0.0-4_amd64.deb Files: fb4e7e0fcfcaa0ac3fffc868d0911feb 2106 math optional aac-tactics_9.0.0-4.dsc b8f9b3f4700b60d26d4f802ccd96618e 70184 math optional aac-tactics_9.0.0.orig.tar.gz cfa3fbdea5d46e8c127396d97d321cf5 4004 math optional aac-tactics_9.0.0-4.debian.tar.xz b4fd964b441b4f5efcee83d5741f2b92 6931 math optional aac-tactics_9.0.0-4_amd64.buildinfo f9f106a3f81125ea0a4b9447ad2cce28 396280 math optional libcoq-aac-tactics_9.0.0-4_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpocl4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQAzD/0cQc2J//XAIqTwkM81Kd6M aXLDe+nAHUikxVD+KuK9Hw0SVl38/VHMmS/9lJXZNeysbYyM6Q4O94ecjp4NHcBx XjWabDWSECneV8gjS/7PrWn6wEvjftgHu2iklc0VbFBeEyfbWwcbKPikY8y+ZwmU vLPnIZRHLtyFYUDA1MbS6b1ucyQiKAZqJgS0GOoOdhFTri2A/SDy0SR26VW3QidM 1gUIXrG/ok71Gfx5ZSL9YcLl0od/UT8uCYdlAfXpNbHDOdxe5Q2rwLphjDuNo3Z0 314SOZNb/gORjepblDzX53pb9wufbaqx2erMfQijADXxgWN/TRZEhaIP1BbJ/8L+ OTrAMCoh//HtL4lP4XBg51oM6edJLI5Et7mXz+k5d/DJAyv9LjjhP+ZcowbKXneA e+8FJmFXwuV0ceaGMv4Vv/7XXOs+OqIVHlvd6KS0B7LeYyBUbOeqIsQANccZiXpL EVS3Ni09cHipF24auqLMRcsXm0fnFl7vbaeE/lOEzH6LV0dW3M2E19hN+Sh2Wlaj ztfptmKCX3deCFV4h0wnYyZS+GCLw+dSrwNzwAlrPZUfWfHhJFsDGnsjGCF7okVm HRk1+zVEz4c/bKDVHxll8bMfACJrJEnUVKsX3Z7TkNuRDEJMFS3hajJkSA4O84y/ +mDlLl79LnGgwnIyrj+EEQ== =+Bhf -----END PGP SIGNATURE-----
