Index of /debian/pool/main/a/aac-tactics/
name
size
date
libcoq-aac-tactics_9.0.0-4_riscv64.deb
390.9K
2026-07-28 12:57:02
libcoq-aac-tactics_9.0.0-4+b1_amd64.deb
387.7K
2026-07-28 10:15:30
libcoq-aac-tactics_9.0.0-4_i386.deb
296.2K
2026-07-28 09:49:59
libcoq-aac-tactics_9.0.0-4_ppc64el.deb
387.5K
2026-07-28 09:44:56
libcoq-aac-tactics_9.0.0-4_s390x.deb
389.4K
2026-07-28 09:44:56
libcoq-aac-tactics_9.0.0-4_armhf.deb
296.3K
2026-07-28 09:44:55
libcoq-aac-tactics_9.0.0-4_loong64.deb
296.4K
2026-07-28 09:44:54
libcoq-aac-tactics_9.0.0-4_arm64.deb
393.4K
2026-07-28 09:44:48
aac-tactics_9.0.0-4.debian.tar.xz
3.9K
2026-07-28 09:24:33
aac-tactics_9.0.0-4.dsc
2.1K
2026-07-28 09:24:33
libcoq-aac-tactics_8.20.0-1+b6_riscv64.deb
387.2K
2026-06-21 04:17:52
libcoq-aac-tactics_8.20.0-1+b6_ppc64el.deb
383.7K
2026-06-19 07:51:50
libcoq-aac-tactics_8.20.0-1+b7_arm64.deb
389.4K
2026-06-19 07:21:04
libcoq-aac-tactics_8.20.0-1+b7_amd64.deb
383.3K
2026-06-19 06:24:28
libcoq-aac-tactics_8.20.0-1+b6_s390x.deb
386.1K
2026-06-18 14:10:56
aac-tactics_9.0.0.orig.tar.gz
68.5K
2025-10-29 07:13:16
libcoq-aac-tactics_8.20.0-1+b4_s390x.deb
386.3K
2025-06-16 19:19:59
libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb
385.4K
2025-06-15 06:13:26
libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb
388.2K
2025-06-15 05:48:08
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb
391.2K
2025-06-15 05:33:01
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb
385.3K
2025-06-15 01:48:11
aac-tactics_8.20.0-1.debian.tar.xz
3.7K
2024-11-20 09:52:42
aac-tactics_8.20.0-1.dsc
2.1K
2024-11-20 09:52:42
aac-tactics_8.20.0.orig.tar.gz
75.8K
2024-11-20 09:52:42
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb
388.5K
2023-02-13 05:11:46
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb
383.8K
2023-02-13 05:11:45
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb
380.8K
2023-02-13 05:11:15
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb
379.5K
2023-02-13 05:11:13
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb
382.2K
2023-02-13 05:06:11
libcoq-aac-tactics_8.17.0-1+b2_i386.deb
372.7K
2023-02-13 05:06:09
aac-tactics_8.17.0-1.debian.tar.xz
3.5K
2023-01-04 19:04:12
aac-tactics_8.17.0-1.dsc
2.1K
2023-01-04 19:04:12
aac-tactics_8.17.0.orig.tar.gz
73.9K
2023-01-04 19:04:12