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  -
[   ]cvc4_1.8.orig.tar.gz2020-09-14 11:17 7.2M
[   ]cvc4_1.8-3.debian.tar.xz2022-10-30 08:57 16K
[   ]cvc4_1.8-3.dsc2022-10-30 08:57 2.2K
[   ]cvc4_1.8-3+b3_amd64.deb2024-03-24 23:12 80K
[   ]libcvc4-7_1.8-3+b3_amd64.deb2024-03-24 23:12 5.7M
[   ]libcvc4-dev_1.8-3+b3_amd64.deb2024-03-24 23:12 128K
[   ]libcvc4parser7_1.8-3+b3_amd64.deb2024-03-24 23:12 357K
[   ]cvc4_1.8-3+b3_i386.deb2024-03-24 23:18 82K
[   ]libcvc4-7_1.8-3+b3_i386.deb2024-03-24 23:18 6.4M
[   ]libcvc4-dev_1.8-3+b3_i386.deb2024-03-24 23:18 128K
[   ]libcvc4parser7_1.8-3+b3_i386.deb2024-03-24 23:18 385K
[   ]cvc4_1.8-3+b3_arm64.deb2024-03-25 01:33 75K
[   ]libcvc4-7_1.8-3+b3_arm64.deb2024-03-25 01:33 4.8M
[   ]libcvc4-dev_1.8-3+b3_arm64.deb2024-03-25 01:33 128K
[   ]libcvc4parser7_1.8-3+b3_arm64.deb2024-03-25 01:33 314K
[   ]cvc4_1.8-3+b3_armhf.deb2024-03-29 02:54 75K
[   ]libcvc4-7_1.8-3+b3_armhf.deb2024-03-29 02:54 5.1M
[   ]libcvc4-dev_1.8-3+b3_armhf.deb2024-03-29 02:54 128K
[   ]libcvc4parser7_1.8-3+b3_armhf.deb2024-03-29 02:54 322K
[   ]cvc4_1.8-3+b3_armel.deb2024-03-29 10:13 74K
[   ]libcvc4-7_1.8-3+b3_armel.deb2024-03-29 10:13 5.0M
[   ]libcvc4-dev_1.8-3+b3_armel.deb2024-03-29 10:13 128K
[   ]libcvc4parser7_1.8-3+b3_armel.deb2024-03-29 10:13 313K
Apache Server at hlzmel.fsmg.org.nz Port 443