This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ 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 76K aac-tactics_9.0.0-4.debian.tar.xz 28-Jul-2026 09:24 4004 aac-tactics_9.0.0-4.dsc 28-Jul-2026 09:24 2106 aac-tactics_9.0.0.orig.tar.gz 29-Oct-2025 07:13 69K libcoq-aac-tactics_8.20.0-1+b6_amd64.deb 12-Feb-2026 14:53 384K libcoq-aac-tactics_8.20.0-1+b6_arm64.deb 12-Feb-2026 14:53 390K libcoq-aac-tactics_8.20.0-1+b7_amd64.deb 19-Jun-2026 06:24 383K libcoq-aac-tactics_8.20.0-1+b7_arm64.deb 19-Jun-2026 07:21 389K libcoq-aac-tactics_9.0.0-4+b1_amd64.deb 28-Jul-2026 10:15 388K libcoq-aac-tactics_9.0.0-4_arm64.deb 28-Jul-2026 09:44 393K libcoq-aac-tactics_9.0.0-4_armhf.deb 28-Jul-2026 09:44 296K libcoq-aac-tactics_9.0.0-4_i386.deb 28-Jul-2026 09:49 296K