Index of /mirrors/debian/pool/main/a/aac-tactics/

directories: 0, files: 17

NameLast modifiedSize
../
libcoq-aac-tactics_8.20.0-1+b4_s390x.deb2025-06-16 21:19:59386.26 KiB
libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb2025-06-15 07:48:08388.23 KiB
libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb2025-06-15 08:13:26385.43 KiB
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb2025-06-15 07:33:01391.25 KiB
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb2025-06-15 03:48:11385.30 KiB
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb2023-02-13 06:06:11382.15 KiB
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb2023-02-13 06:11:45383.83 KiB
libcoq-aac-tactics_8.17.0-1+b2_i386.deb2023-02-13 06:06:09372.68 KiB
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb2023-02-13 06:11:13379.48 KiB
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb2023-02-13 06:11:46388.54 KiB
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb2023-02-13 06:11:15380.76 KiB
aac-tactics_8.20.0.orig.tar.gz2024-11-20 10:52:4275.85 KiB
aac-tactics_8.20.0-1.dsc2024-11-20 10:52:422.05 KiB
aac-tactics_8.20.0-1.debian.tar.xz2024-11-20 10:52:423.72 KiB
aac-tactics_8.17.0.orig.tar.gz2023-01-04 20:04:1273.90 KiB
aac-tactics_8.17.0-1.dsc2023-01-04 20:04:122.06 KiB
aac-tactics_8.17.0-1.debian.tar.xz2023-01-04 20:04:123.47 KiB