-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:18:41 +0100 Source: aac-tactics Binary: libcoq-aac-tactics Architecture: source amd64 Version: 9.0.0-2 Distribution: experimental 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-2) experimental; urgency=medium . * Strenghten depend on coq/rocq. Checksums-Sha1: 08d0ea759cbc4a90e1776cc20309e9844db8630f 2106 aac-tactics_9.0.0-2.dsc 78a727265ea5c99f803c5391d72d824f318adc35 3952 aac-tactics_9.0.0-2.debian.tar.xz 17cae58b6c3e37af04960b0fd5b54ef4aac50a58 6820 aac-tactics_9.0.0-2_amd64.buildinfo 17dd9567f8b09dd7155bc247bfecb04a967dd1a2 397888 libcoq-aac-tactics_9.0.0-2_amd64.deb Checksums-Sha256: 18f11ce0b1f0ade68b9b8fac2cfb8fe56f4c096867a5c0c74830326255c3238c 2106 aac-tactics_9.0.0-2.dsc 2f063c93615f3f9dbbdbaad83da44e505b04654faaf1bb1b4e6779c23bf1b65c 3952 aac-tactics_9.0.0-2.debian.tar.xz 21b21a7f8a22283226036cedfb3c7dae11b2c9c9e3fbc262f4af44bc722ec942 6820 aac-tactics_9.0.0-2_amd64.buildinfo 32ed1e963831f8095b8a7181db4d9cae0620494329a87b473ee1bc4b87e6a3c3 397888 libcoq-aac-tactics_9.0.0-2_amd64.deb Files: 453cf0345ef2305d4b99f350e3dd7642 2106 math optional aac-tactics_9.0.0-2.dsc 42c65389d129a5ca27870387bcb96ca9 3952 math optional aac-tactics_9.0.0-2.debian.tar.xz 021344574abbe0d78c571627a3d33fb6 6820 math optional aac-tactics_9.0.0-2_amd64.buildinfo a4ea891e7ab3db02ef62a3fbb66dcd41 397888 math optional libcoq-aac-tactics_9.0.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcLwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXrtD/wIR0Kp9ARmkTfxWkVqRtKk Ugq5PoFTK7F7BETkM+azXkAfirmCdZnZsvWiTJh7BLW6tjihTPjt73fcu/HzHniY cCCuugWIQkatMeKiz3A/w8ABMSVFLXmUY21Huyyf0nLyBSig/Y/tUv9iSkbal2BZ PQl7eS2LTqh4/JpQkZPKG8GBDJovZ5PHNKXZ81KhMZj03tvzg1da87vd6oIwOkHi Tyu+tYuvzZUWdgVKmtoK+dZvolJHN+fi7NMwrDufYQFhFkQX8hXL6cFPbFhelnBl ihSNw62xH1W6uIsJi+zKRA1k1HyBxXsFIYpbnD+luJPXuaqljq0Iasvv1+VGZR1f E/WDhyioMppRPkZrBJdisM1+tSmcd4lXZD/ytwNgiZGEDKvWHBznx8S+pF8q+d/k GgxfCvdTlB+DGXxjKZhG+ny3QfUp471S7glOpqverdyLyUQL0YrIUSka6C/Gahg3 ErRbkrIGLyDzAfwYHsTPC+ru+FS0n3A8MyCU3/p/M4Ve5/fE3Bzkchue9HMiutl5 ftPgx9xkhz4kmlMCpMGtjrm6FQimkBjzgM1RAEONEEe4ZycdnlL7mtH4MoJ/0pkn 94he5baZcXJVXYAN50RtbJJR7IUU+1Quss76vr45PhJDBoKrfV8nm7r17uwzWlN/ UgNRBcdIbqCWYqFxYTJVQw== =NI1y -----END PGP SIGNATURE-----
