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

directories: 0, files: 28

NameLast modifiedSize
../
libcoq-aac-tactics_9.0.0-4_s390x.deb2026-07-28 11:44:56389.38 KiB
libcoq-aac-tactics_9.0.0-4_riscv64.deb2026-07-28 14:57:02390.94 KiB
libcoq-aac-tactics_9.0.0-4_ppc64el.deb2026-07-28 11:44:56387.48 KiB
libcoq-aac-tactics_9.0.0-4_loong64.deb2026-07-28 11:44:54296.38 KiB
libcoq-aac-tactics_9.0.0-4_i386.deb2026-07-28 11:49:59296.18 KiB
libcoq-aac-tactics_9.0.0-4_armhf.deb2026-07-28 11:44:55296.31 KiB
libcoq-aac-tactics_9.0.0-4_arm64.deb2026-07-28 11:44:48393.39 KiB
libcoq-aac-tactics_9.0.0-4+b1_amd64.deb2026-07-28 12:15:30387.68 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-4.dsc2026-07-28 11:24:332.06 KiB
aac-tactics_9.0.0-4.debian.tar.xz2026-07-28 11:24:333.91 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