| .. |
|
|
|
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-4.debian.tar.xz
|
2026-07-28 09:24:33 |
3.91 KiB
|
|
aac-tactics_9.0.0-4.dsc
|
2026-07-28 09:24:33 |
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_9.0.0-4+b1_arm64.deb
|
2026-08-25 23:03:10 |
393.62 KiB
|
|
libcoq-aac-tactics_9.0.0-4+b1_ppc64el.deb
|
2026-08-25 23:03:33 |
387.86 KiB
|
|
libcoq-aac-tactics_9.0.0-4+b1_riscv64.deb
|
2026-08-26 14:11:25 |
392.04 KiB
|
|
libcoq-aac-tactics_9.0.0-4+b1_s390x.deb
|
2026-08-25 23:03:35 |
389.68 KiB
|
|
libcoq-aac-tactics_9.0.0-4+b2_amd64.deb
|
2026-08-25 23:03:33 |
387.49 KiB
|
|
libcoq-aac-tactics_9.0.0-4_armhf.deb
|
2026-07-28 09:44:55 |
296.31 KiB
|
|
libcoq-aac-tactics_9.0.0-4_i386.deb
|
2026-07-28 09:49:59 |
296.18 KiB
|
|
libcoq-aac-tactics_9.0.0-4_loong64.deb
|
2026-07-28 09:44:54 |
296.38 KiB
|