Welcome to mirror.aminidc.com
HTTP : http://mirror.aminidc.comFTP : ftp://mirror.aminidc.com
RSYNC : rsync://mirror.aminidc.com
Index of /debian/pool/main/a/aac-tactics/
../ aac-tactics_8.17.0-1.debian.tar.xz 04-Jan-2023 19:04 3552 aac-tactics_8.17.0-1.dsc 04-Jan-2023 19:04 2108 aac-tactics_8.17.0.orig.tar.gz 04-Jan-2023 19:04 75677 aac-tactics_8.20.0-1.debian.tar.xz 20-Nov-2024 09:52 3808 aac-tactics_8.20.0-1.dsc 20-Nov-2024 09:52 2104 aac-tactics_8.20.0.orig.tar.gz 20-Nov-2024 09:52 77668 libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 13-Feb-2023 05:11 389900 libcoq-aac-tactics_8.17.0-1+b2_arm64.deb 13-Feb-2023 05:11 397868 libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 13-Feb-2023 05:11 388588 libcoq-aac-tactics_8.17.0-1+b2_i386.deb 13-Feb-2023 05:06 381620 libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb 13-Feb-2023 05:11 393044 libcoq-aac-tactics_8.17.0-1+b2_s390x.deb 13-Feb-2023 05:06 391324 libcoq-aac-tactics_8.20.0-1_amd64.deb 20-Nov-2024 14:16 394128 libcoq-aac-tactics_8.20.0-1_arm64.deb 20-Nov-2024 14:57 400252 libcoq-aac-tactics_8.20.0-1_ppc64el.deb 20-Nov-2024 14:52 394988 libcoq-aac-tactics_8.20.0-1_riscv64.deb 20-Nov-2024 14:37 397564 libcoq-aac-tactics_8.20.0-1_s390x.deb 21-Nov-2024 02:40 395548