Index of ftp://ftp.plusline.de/debian/pool/main/a/aac-tactics

[DIR] Parent Directory

[ ] aac-tactics_8.17.0-1.debian.tar.xz  3.47Kb  January 4 2023
[ ] aac-tactics_8.17.0-1.dsc  2.06Kb  January 4 2023
[ ] aac-tactics_8.17.0-2.debian.tar.xz  3.57Kb  June 12 2023 at 20:29
[ ] aac-tactics_8.17.0-2.dsc  2.06Kb  June 12 2023 at 20:29
[ GZ] aac-tactics_8.17.0.orig.tar.gz  73.90Kb  January 4 2023
[ ] libcoq-aac-tactics_8.17.0-1+b2_amd64.deb  380.76Kb  February 13 2023
[ ] libcoq-aac-tactics_8.17.0-1+b2_i386.deb  372.68Kb  February 13 2023
[ ] libcoq-aac-tactics_8.17.0-2+b1_amd64.deb  379.85Kb  July 23 2023 at 04:57
[ ] libcoq-aac-tactics_8.17.0-2+b1_i386.deb  371.54Kb  July 23 2023 at 04:57