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  -
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 15:53 8.2M
[ ]cvc5_1.1.2-2.debian.tar.xz2024-03-20 11:22 7.2K
[ ]cvc5_1.1.2-2.dsc2024-03-20 11:22 2.4K
[ ]cvc5_1.1.2-2_i386.deb2024-03-20 12:08 111K
[ ]libcvc5-1_1.1.2-2_i386.deb2024-03-20 12:08 6.7M
[ ]libcvc5-dev_1.1.2-2_i386.deb2024-03-20 12:08 91K
[ ]libcvc5parser1_1.1.2-2_i386.deb2024-03-20 12:08 248K
[ ]python3-cvc5_1.1.2-2_i386.deb2024-03-20 12:08 308K
[ ]cvc5_1.1.2-2_armel.deb2024-03-20 12:13 98K
[ ]libcvc5-1_1.1.2-2_armel.deb2024-03-20 12:13 5.3M
[ ]libcvc5-dev_1.1.2-2_armel.deb2024-03-20 12:13 91K
[ ]libcvc5parser1_1.1.2-2_armel.deb2024-03-20 12:13 193K
[ ]python3-cvc5_1.1.2-2_armel.deb2024-03-20 12:13 295K
[ ]cvc5_1.1.2-2_armhf.deb2024-03-20 12:28 100K
[ ]libcvc5-1_1.1.2-2_armhf.deb2024-03-20 12:29 5.2M
[ ]libcvc5-dev_1.1.2-2_armhf.deb2024-03-20 12:29 91K
[ ]libcvc5parser1_1.1.2-2_armhf.deb2024-03-20 12:29 200K
[ ]python3-cvc5_1.1.2-2_armhf.deb2024-03-20 12:29 300K
[ ]cvc5_1.1.2-2_amd64.deb2024-03-20 14:42 108K
[ ]libcvc5-1_1.1.2-2_amd64.deb2024-03-20 14:42 6.1M
[ ]libcvc5-dev_1.1.2-2_amd64.deb2024-03-20 14:42 91K
[ ]libcvc5parser1_1.1.2-2_amd64.deb2024-03-20 14:42 229K
[ ]python3-cvc5_1.1.2-2_amd64.deb2024-03-20 14:42 321K
[ ]cvc5_1.1.2-2_arm64.deb2024-03-20 15:29 96K
[ ]libcvc5-1_1.1.2-2_arm64.deb2024-03-20 15:29 5.2M
[ ]libcvc5-dev_1.1.2-2_arm64.deb2024-03-20 15:29 91K
[ ]libcvc5parser1_1.1.2-2_arm64.deb2024-03-20 15:29 201K
[ ]python3-cvc5_1.1.2-2_arm64.deb2024-03-20 15:29 291K
Apache Server at wlglam.fsmg.org.nz Port 80