-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 07:57:49 +0100 Source: aac-tactics Binary: libcoq-aac-tactics libcoq-aac-tactics-dbgsym Architecture: source amd64 Version: 9.0.0-1 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) Closes: 1105230 Changes: aac-tactics (9.0.0-1) experimental; urgency=medium . * Sequence install targets (Closes: #1105230). * Adapt to the Coq->Rocq transition. * Update lintian overrides. * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: 5cfdd1d72774e1c7487116e48f3271edbe7a3db4 2099 aac-tactics_9.0.0-1.dsc 9e382797a969e3dc1c4fcec7db8ffff7360b189c 70184 aac-tactics_9.0.0.orig.tar.gz 64758a0907cdd03653ede27dd5070b077266fdf2 3880 aac-tactics_9.0.0-1.debian.tar.xz d8e0e67eda7cdb0079202487dc48b52f726a4de8 7141 aac-tactics_9.0.0-1_amd64.buildinfo 6ffc2dc1d09272893934bc9f02c10dc470d7bceb 13796 libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb 15738925c5447ab593c2d97f7706165f5f645dba 397876 libcoq-aac-tactics_9.0.0-1_amd64.deb Checksums-Sha256: 9b999d8e5acd23f3e4c9980712513df3df0b607a57223ff9e4022ec4fb8b19fb 2099 aac-tactics_9.0.0-1.dsc 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz 61f981c00d036d18d73ab30d81a03ce19d090592dfa42877d155938ea26ad1a4 3880 aac-tactics_9.0.0-1.debian.tar.xz 1f3cbc1faae70cb7ce5b51f566ae19c628a343d58be1559930249b758045213e 7141 aac-tactics_9.0.0-1_amd64.buildinfo 0604e120ff8b6a7cc8f925536e32b446c48726afc13e2f05f90519496053f8cc 13796 libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb c2b729b515b557c03c27c2dc095a735d5584ea6513b698e7e9845bc8b0f12a4c 397876 libcoq-aac-tactics_9.0.0-1_amd64.deb Files: da3ffc7016e04e6c7e8c4764910cf187 2099 math optional aac-tactics_9.0.0-1.dsc b8f9b3f4700b60d26d4f802ccd96618e 70184 math optional aac-tactics_9.0.0.orig.tar.gz 5d107dceaa7d4c9ecf0804233c4278aa 3880 math optional aac-tactics_9.0.0-1.debian.tar.xz a387b1dcdf66b0f0aa8c2fa5dc28e041 7141 math optional aac-tactics_9.0.0-1_amd64.buildinfo becea6df0242994d9990383e58900a4e 13796 debug optional libcoq-aac-tactics-dbgsym_9.0.0-1_amd64.deb 67b082d920e68c105a9aac7dcac39518 397876 math optional libcoq-aac-tactics_9.0.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBu8wZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUedYEACEMD/TozoSbmQneOHjcz6i Sy+GEWZflDYAEMt5/jg728J0fX08WqEz4xCnonbkQTiVdz5g5lm/okNM1sLHuyPi blbEYM5k6lt+erNVPCuKCRIOm8T3gYDL6bamyWz4PcpaiNtQ6WLKbFDTzuLP6w+R GKOfc4/ZwtCiqa3yMzvq9+GtVstpqE40bEUFRKvkJLX0iU6SehF8mEwqwRu4qzmu CsMkNR+hkrgZ8qPwmiVXT381XeaU/hKFFnB4cIR6p2niAvUHF8402xIBwQ3d/Sgo ImffzPCUfNaBpF4e8dW9KQjhGHotWfdEpQ+9WrzYLhbgdH4TGyOWkCWc6Zou/I4H 5ujVCm/oNDPC1BFZBOUfGkj0KDnFnA3PqrjSuEqSN5RK62FOw9L6wb1InZbwgglu mb7VO/gkXfq8HC2v6ycUN9tZ8UDg/7JS+1AAdkbB5VnbjjBcA4jxvFJqg4PVajUL oFP3Yg1ZMZ2MUSIhkHk62ruon259tvt0ryC29O7wswM88cxNO6zQDDS2vTkhAvOt gbHZw/QB6bgbAWGgHbb7GRNqwDwC9N6Z6L3S9LRXGA547s1/wH6Jame9N4jF5NK5 gfJ5exu9JHo86TRSdXsZQyG51xHZy8+ZHcz0BGW+2i5FU221oK1qPY/MhwgJsM7x 1bqT6oUJUx0b9w/3PcCaSA== =7LTx -----END PGP SIGNATURE-----
