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

directories: 0, files: 32

NameLast modifiedSize
../
libcoq-aac-tactics_9.0.0-2_s390x.deb2026-02-13 09:01:15389.73 KiB
libcoq-aac-tactics_9.0.0-2_ppc64el.deb2026-02-11 11:00:28387.69 KiB
libcoq-aac-tactics_9.0.0-2_i386.deb2026-02-11 11:20:53296.30 KiB
libcoq-aac-tactics_9.0.0-2_armhf.deb2026-02-11 11:05:36296.30 KiB
libcoq-aac-tactics_9.0.0-2_arm64.deb2026-02-11 11:00:25393.64 KiB
libcoq-aac-tactics_9.0.0-2_amd64.deb2025-11-11 18:34:46388.56 KiB
libcoq-aac-tactics_9.0.0-2+b1_amd64.deb2026-02-15 11:38:08387.65 KiB
libcoq-aac-tactics_8.20.0-1+b6_arm64.deb2026-02-12 15:53:36390.00 KiB
libcoq-aac-tactics_8.20.0-1+b6_amd64.deb2026-02-12 15:53:44383.96 KiB
libcoq-aac-tactics_8.20.0-1+b5_s390x.deb2025-12-27 22:03:43386.32 KiB
libcoq-aac-tactics_8.20.0-1+b5_riscv64.deb2025-12-28 04:44:50388.29 KiB
libcoq-aac-tactics_8.20.0-1+b5_ppc64el.deb2025-12-27 20:06:29384.43 KiB
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_9.0.0.orig.tar.gz2025-10-29 08:13:1668.54 KiB
aac-tactics_9.0.0-2.dsc2025-11-11 18:34:462.06 KiB
aac-tactics_9.0.0-2.debian.tar.xz2025-11-11 18:34:463.86 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