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

directories: 0, files: 17

NameLast modifiedSize
../
libcoq-aac-tactics_8.20.0-1+b3_s390x.deb2025-02-18 16:50:12386.54 KiB
libcoq-aac-tactics_8.20.0-1+b3_riscv64.deb2025-02-18 01:56:44388.45 KiB
libcoq-aac-tactics_8.20.0-1+b3_ppc64el.deb2025-02-18 01:15:24385.73 KiB
libcoq-aac-tactics_8.20.0-1+b3_arm64.deb2025-02-18 01:20:45391.39 KiB
libcoq-aac-tactics_8.20.0-1+b3_amd64.deb2025-02-18 01:15:27385.11 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