This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.com
../ aac-tactics_8.17.0-1.debian.tar.xz 04-Jan-2023 19:04 3552 aac-tactics_8.17.0-1.dsc 04-Jan-2023 19:04 2108 aac-tactics_8.17.0.orig.tar.gz 04-Jan-2023 19:04 75677 aac-tactics_8.20.0-1.debian.tar.xz 20-Nov-2024 09:52 3808 aac-tactics_8.20.0-1.dsc 20-Nov-2024 09:52 2104 aac-tactics_8.20.0.orig.tar.gz 20-Nov-2024 09:52 77668 libcoq-aac-tactics_8.17.0-1+b2_amd64.deb 13-Feb-2023 05:11 389900 libcoq-aac-tactics_8.17.0-1+b2_arm64.deb 13-Feb-2023 05:11 397868 libcoq-aac-tactics_8.17.0-1+b2_armhf.deb 13-Feb-2023 05:11 388588 libcoq-aac-tactics_8.17.0-1+b2_i386.deb 13-Feb-2023 05:06 381620 libcoq-aac-tactics_8.17.0-1+b2_ppc64el.deb 13-Feb-2023 05:11 393044 libcoq-aac-tactics_8.17.0-1+b2_s390x.deb 13-Feb-2023 05:06 391324 libcoq-aac-tactics_8.20.0-1+b3_amd64.deb 18-Feb-2025 00:15 394352 libcoq-aac-tactics_8.20.0-1+b3_arm64.deb 18-Feb-2025 00:20 400780 libcoq-aac-tactics_8.20.0-1+b3_ppc64el.deb 18-Feb-2025 00:15 394988 libcoq-aac-tactics_8.20.0-1+b3_riscv64.deb 18-Feb-2025 00:56 397772 libcoq-aac-tactics_8.20.0-1+b3_s390x.deb 18-Feb-2025 15:50 395812 libcoq-aac-tactics_8.20.0-1+b4_amd64.deb 15-Jun-2025 01:48 394552 libcoq-aac-tactics_8.20.0-1+b4_arm64.deb 15-Jun-2025 05:33 400636 libcoq-aac-tactics_8.20.0-1+b4_ppc64el.deb 15-Jun-2025 06:13 394680 libcoq-aac-tactics_8.20.0-1+b4_riscv64.deb 15-Jun-2025 05:48 397544 libcoq-aac-tactics_8.20.0-1+b4_s390x.deb 16-Jun-2025 19:19 395532