Index of ftp://ftp.lug.ro/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 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
[ ] 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_arm64.deb  387.66Kb  July 23 2023 at 04:57
[ ] libcoq-aac-tactics_8.17.0-2+b1_armhf.deb  378.53Kb  July 23 2023 at 04:57
[ ] libcoq-aac-tactics_8.17.0-2+b1_i386.deb  371.54Kb  July 23 2023 at 04:57
[ ] libcoq-aac-tactics_8.17.0-2+b1_ppc64el.deb  382.38Kb  July 23 2023 at 04:57
[ ] libcoq-aac-tactics_8.17.0-2+b1_s390x.deb  381.30Kb  July 23 2023 at 04:57
[ ] libcoq-aac-tactics_8.17.0-2_amd64.deb  379.42Kb  June 12 2023 at 22:43
[ ] libcoq-aac-tactics_8.17.0-2_arm64.deb  387.40Kb  June 13 2023 at 08:13
[ ] libcoq-aac-tactics_8.17.0-2_armhf.deb  378.41Kb  June 13 2023 at 03:13
[ ] libcoq-aac-tactics_8.17.0-2_i386.deb  371.08Kb  June 13 2023 at 00:00
[ ] libcoq-aac-tactics_8.17.0-2_ppc64el.deb  382.33Kb  June 18 2023 at 13:55
[ ] libcoq-aac-tactics_8.17.0-2_s390x.deb  380.73Kb  June 13 2023 at 04:24