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
[   ]libcvc5-1_1.1.2-2+b2_i386.deb2024-10-29 06:52 6.9M
[   ]libcvc5-1_1.1.2-2+b2_amd64.deb2024-10-29 06:08 6.4M
[   ]libcvc5-1_1.1.2-2+b2_armel.deb2024-10-29 11:58 5.5M
[   ]libcvc5-1_1.1.2-2+b2_arm64.deb2024-10-29 17:42 5.4M
[   ]libcvc5-1_1.1.2-2+b2_armhf.deb2024-10-29 10:12 5.4M
[   ]python3-cvc5_1.1.2-2+b2_amd64.deb2024-10-29 06:08 331K
[   ]python3-cvc5_1.1.2-2+b2_i386.deb2024-10-29 06:52 316K
[   ]python3-cvc5_1.1.2-2+b2_armhf.deb2024-10-29 10:12 310K
[   ]python3-cvc5_1.1.2-2+b2_armel.deb2024-10-29 11:58 304K
[   ]python3-cvc5_1.1.2-2+b2_arm64.deb2024-10-29 17:42 291K
[   ]libcvc5parser1_1.1.2-2+b2_i386.deb2024-10-29 06:52 252K
[   ]libcvc5parser1_1.1.2-2+b2_amd64.deb2024-10-29 06:08 231K
[   ]libcvc5parser1_1.1.2-2+b2_arm64.deb2024-10-29 17:42 202K
[   ]libcvc5parser1_1.1.2-2+b2_armhf.deb2024-10-29 10:12 202K
[   ]libcvc5parser1_1.1.2-2+b2_armel.deb2024-10-29 11:58 196K
[   ]cvc5_1.1.2-2+b2_i386.deb2024-10-29 06:52 109K
[   ]cvc5_1.1.2-2+b2_amd64.deb2024-10-29 06:08 105K
[   ]cvc5_1.1.2-2+b2_armhf.deb2024-10-29 10:12 98K
[   ]cvc5_1.1.2-2+b2_armel.deb2024-10-29 11:58 96K
[   ]cvc5_1.1.2-2+b2_arm64.deb2024-10-29 17:42 95K
[   ]libcvc5-dev_1.1.2-2+b2_amd64.deb2024-10-29 06:08 91K
[   ]libcvc5-dev_1.1.2-2+b2_i386.deb2024-10-29 06:52 91K
[   ]libcvc5-dev_1.1.2-2+b2_armel.deb2024-10-29 11:58 91K
[   ]libcvc5-dev_1.1.2-2+b2_arm64.deb2024-10-29 17:42 91K
[   ]libcvc5-dev_1.1.2-2+b2_armhf.deb2024-10-29 10:12 91K
[   ]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
Apache Server at hlzmel.fsmg.org.nz Port 443