../ aac-tactics_8.17.0-1.debian.tar.xz 05-Jan-2023 03:04 3552 aac-tactics_8.17.0-1.dsc 05-Jan-2023 03:04 2108 aac-tactics_8.17.0.orig.tar.gz 05-Jan-2023 03:04 74K aac-tactics_8.20.0-1.debian.tar.xz 20-Nov-2024 17:52 3808 aac-tactics_8.20.0-1.dsc 20-Nov-2024 17:52 2104 aac-tactics_8.20.0.orig.tar.gz 20-Nov-2024 17:52 76K libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 21-May-2023 09:16 377K