/sites/ftp.debian.org/debian/pool/main/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_8.18.0-1.dsc2.1 KiB2023-Dec-21 14:34
aac-tactics_8.19.1-1.dsc2.1 KiB2024-Jun-11 05:19
aac-tactics_8.17.0-1.dsc2.1 KiB2023-Jan-04 19:04
aac-tactics_8.17.0-1.debian.tar.xz3.5 KiB2023-Jan-04 19:04
aac-tactics_8.18.0-1.debian.tar.xz3.6 KiB2023-Dec-21 14:34
aac-tactics_8.19.1-1.debian.tar.xz3.7 KiB2024-Jun-11 05:19
aac-tactics_8.18.0.orig.tar.gz73.8 KiB2023-Dec-21 14:34
aac-tactics_8.17.0.orig.tar.gz73.9 KiB2023-Jan-04 19:04
aac-tactics_8.19.1.orig.tar.gz75.2 KiB2024-Jun-11 05:19
libcoq-aac-tactics_8.18.0-1_i386.deb366.8 KiB2023-Dec-31 08:40
libcoq-aac-tactics_8.17.0-1+b2_i386.deb372.7 KiB2023-Feb-13 05:06
libcoq-aac-tactics_8.18.0-1_amd64.deb375.0 KiB2023-Dec-21 17:31
libcoq-aac-tactics_8.18.0-1_ppc64el.deb377.0 KiB2023-Dec-26 08:41
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb380.8 KiB2023-Feb-13 05:11
libcoq-aac-tactics_8.19.1-1+b1_i386.deb382.0 KiB2024-Jun-15 10:49
libcoq-aac-tactics_8.18.0-1_arm64.deb382.8 KiB2023-Dec-31 08:40
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb383.8 KiB2023-Feb-13 05:11
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb388.5 KiB2023-Feb-13 05:11
libcoq-aac-tactics_8.19.1-1+b1_amd64.deb388.8 KiB2024-Jun-15 10:49
libcoq-aac-tactics_8.19.1-1+b1_riscv64.deb390.8 KiB2024-Jun-15 10:59
libcoq-aac-tactics_8.19.1-1+b1_ppc64el.deb391.5 KiB2024-Jun-15 10:49
libcoq-aac-tactics_8.19.1-1+b1_arm64.deb397.2 KiB2024-Jun-15 10:49