| .. |
|
|
|
aac-tactics_8.17.0-1.debian.tar.xz
|
2023-01-04 19:04:12 |
3.47 KiB
|
|
aac-tactics_8.17.0-1.dsc
|
2023-01-04 19:04:12 |
2.06 KiB
|
|
aac-tactics_8.17.0.orig.tar.gz
|
2023-01-04 19:04:12 |
73.90 KiB
|
|
aac-tactics_8.20.0-1.debian.tar.xz
|
2024-11-20 09:52:42 |
3.72 KiB
|
|
aac-tactics_8.20.0-1.dsc
|
2024-11-20 09:52:42 |
2.05 KiB
|
|
aac-tactics_8.20.0.orig.tar.gz
|
2024-11-20 09:52:42 |
75.85 KiB
|
|
aac-tactics_9.0.0-2.debian.tar.xz
|
2025-11-11 17:34:46 |
3.86 KiB
|
|
aac-tactics_9.0.0-2.dsc
|
2025-11-11 17:34:46 |
2.06 KiB
|
|
aac-tactics_9.0.0.orig.tar.gz
|
2025-10-29 07:13:16 |
68.54 KiB
|
|
libcoq-aac-tactics_8.17.0-1+b2_amd64.deb
|
2023-02-13 05:11:15 |
380.76 KiB
|
|
libcoq-aac-tactics_8.17.0-1+b2_arm64.deb
|
2023-02-13 05:11:46 |
388.54 KiB
|
|
libcoq-aac-tactics_8.17.0-1+b2_armhf.deb
|
2023-02-13 05:11:13 |
379.48 KiB
|
|
libcoq-aac-tactics_8.17.0-1+b2_i386.deb
|
2023-02-13 05:06:09 |
372.68 KiB
|
|
libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb
|
2023-02-13 05:11:45 |
383.83 KiB
|
|
libcoq-aac-tactics_8.17.0-1+b2_s390x.deb
|
2023-02-13 05:06:11 |
382.15 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b4_amd64.deb
|
2025-06-15 01:48:11 |
385.30 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b4_arm64.deb
|
2025-06-15 05:33:01 |
391.25 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb
|
2025-06-15 06:13:26 |
385.43 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb
|
2025-06-15 05:48:08 |
388.23 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b4_s390x.deb
|
2025-06-16 19:19:59 |
386.26 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b6_ppc64el.deb
|
2026-06-19 07:51:50 |
383.65 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b6_riscv64.deb
|
2026-06-21 04:17:52 |
387.16 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b6_s390x.deb
|
2026-06-18 14:10:56 |
386.11 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b7_amd64.deb
|
2026-06-19 06:24:28 |
383.26 KiB
|
|
libcoq-aac-tactics_8.20.0-1+b7_arm64.deb
|
2026-06-19 07:21:04 |
389.41 KiB
|
|
libcoq-aac-tactics_9.0.0-2+b1_amd64.deb
|
2026-02-15 10:38:08 |
387.65 KiB
|
|
libcoq-aac-tactics_9.0.0-2_arm64.deb
|
2026-02-11 10:00:25 |
393.64 KiB
|
|
libcoq-aac-tactics_9.0.0-2_armhf.deb
|
2026-02-11 10:05:36 |
296.30 KiB
|
|
libcoq-aac-tactics_9.0.0-2_i386.deb
|
2026-02-11 10:20:53 |
296.30 KiB
|
|
libcoq-aac-tactics_9.0.0-2_loong64.deb
|
2026-07-10 10:37:07 |
296.23 KiB
|
|
libcoq-aac-tactics_9.0.0-2_ppc64el.deb
|
2026-02-11 10:00:28 |
387.69 KiB
|
|
libcoq-aac-tactics_9.0.0-2_riscv64.deb
|
2026-07-14 14:26:08 |
391.44 KiB
|
|
libcoq-aac-tactics_9.0.0-2_s390x.deb
|
2026-02-13 08:01:15 |
389.73 KiB
|