| ../ |
- |
- |
| aac-tactics_8.20.0-1.debian.tar.xz |
3.7 KB |
2024-11-20 09:52 |
| aac-tactics_8.20.0-1.dsc |
2.1 KB |
2024-11-20 09:52 |
| aac-tactics_8.20.0.orig.tar.gz |
75.8 KB |
2024-11-20 09:52 |
| aac-tactics_9.0.0-4.debian.tar.xz |
3.9 KB |
2026-07-28 09:24 |
| aac-tactics_9.0.0-4.dsc |
2.1 KB |
2026-07-28 09:24 |
| aac-tactics_9.0.0.orig.tar.gz |
68.5 KB |
2025-10-29 07:13 |
| libcoq-aac-tactics_8.20.0-1+b6_amd64.deb |
384.0 KB |
2026-02-12 14:53 |
| libcoq-aac-tactics_8.20.0-1+b6_arm64.deb |
390.0 KB |
2026-02-12 14:53 |
| libcoq-aac-tactics_8.20.0-1+b7_amd64.deb |
383.3 KB |
2026-06-19 06:24 |
| libcoq-aac-tactics_8.20.0-1+b7_arm64.deb |
389.4 KB |
2026-06-19 07:21 |
| libcoq-aac-tactics_9.0.0-4+b1_amd64.deb |
387.7 KB |
2026-07-28 10:15 |
| libcoq-aac-tactics_9.0.0-4+b1_arm64.deb |
393.6 KB |
2026-08-25 23:03 |
| libcoq-aac-tactics_9.0.0-4+b2_amd64.deb |
387.5 KB |
2026-08-25 23:03 |
| libcoq-aac-tactics_9.0.0-4_arm64.deb |
393.4 KB |
2026-07-28 09:44 |
| libcoq-aac-tactics_9.0.0-4_armhf.deb |
296.3 KB |
2026-07-28 09:44 |
| libcoq-aac-tactics_9.0.0-4_i386.deb |
296.2 KB |
2026-07-28 09:49 |