Index of ftp://debian.mur.at/debian/pool/main/a/aac-tactics

[DIR] Parent Directory

[ ] aac-tactics_8.17.0-1.debian.tar.xz  3.47Kb  January 4 2023 at 19:04
[ ] aac-tactics_8.17.0-1.dsc  2.06Kb  January 4 2023 at 19:04
[ GZ] aac-tactics_8.17.0.orig.tar.gz  73.90Kb  January 4 2023 at 19:04
[ ] libcoq-aac-tactics_8.17.0-1+b2_amd64.deb  380.76Kb  February 13 2023 at 05:11
[ ] libcoq-aac-tactics_8.17.0-1+b2_arm64.deb  388.54Kb  February 13 2023 at 05:11
[ ] libcoq-aac-tactics_8.17.0-1+b2_armhf.deb  379.48Kb  February 13 2023 at 05:11
[ ] libcoq-aac-tactics_8.17.0-1+b2_i386.deb  372.68Kb  February 13 2023 at 05:06
[ ] libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb  383.83Kb  February 13 2023 at 05:11
[ ] libcoq-aac-tactics_8.17.0-1+b2_s390x.deb  382.15Kb  February 13 2023 at 05:06