1. aac-tactics_8.17.0-1.debian.tar.xz
2. aac-tactics_8.17.0-1.dsc
3. aac-tactics_8.17.0.orig.tar.gz
4. aac-tactics_8.20.0-1.debian.tar.xz
5. aac-tactics_8.20.0-1.dsc
6. aac-tactics_8.20.0.orig.tar.gz
7. aac-tactics_9.0.0-2.debian.tar.xz
8. aac-tactics_9.0.0-2.dsc
9. aac-tactics_9.0.0.orig.tar.gz
10. libcoq-aac-tactics_8.17.0-1+b2_amd64.deb
11. libcoq-aac-tactics_8.17.0-1+b2_i386.deb
12. libcoq-aac-tactics_8.20.0-1+b4_amd64.deb
13. libcoq-aac-tactics_9.0.0-2_amd64.deb