Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[   ]coq-quickchick_2.0.5-1.debian.tar.xz2024-12-19 05:08 2.8K
[   ]coq-quickchick_2.0.5-1.dsc2024-12-19 05:08 2.2K
[   ]coq-quickchick_2.0.5.orig.tar.gz2024-12-19 05:08 403K
[   ]libcoq-quickchick_2.0.5-1+b4_amd64.deb2025-01-30 21:08 4.0M
[   ]libcoq-quickchick_2.0.5-1+b4_arm64.deb2025-01-30 22:08 4.0M
[   ]libcoq-quickchick_2.0.5-1+b6_amd64.deb2025-02-18 15:57 4.0M
[   ]libcoq-quickchick_2.0.5-1+b6_arm64.deb2025-02-18 18:49 4.0M
[   ]quickchick_2.0.5-1+b4_amd64.deb2025-01-30 21:08 480K
[   ]quickchick_2.0.5-1+b4_arm64.deb2025-01-30 22:08 523K
[   ]quickchick_2.0.5-1+b6_amd64.deb2025-02-18 15:57 481K
[   ]quickchick_2.0.5-1+b6_arm64.deb2025-02-18 18:49 525K
Apache Server at wlglam.fsmg.org.nz Port 443