[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/os/Linux/distr/parrot/pool/main/c/cvc4/
File Name  ↓ File Size  ↓ Date  ↓ 
../-2025-Jun-26 19:00
./-2024-Sep-18 13:32
libcvc4parser7_1.8-3_i386.deb378.6 KiB2022-Oct-29 21:23
libcvc4parser7_1.8-3_armhf.deb321.9 KiB2022-Oct-29 21:47
libcvc4parser7_1.8-3_arm64.deb315.1 KiB2022-Oct-29 21:47
libcvc4parser7_1.8-3_amd64.deb353.8 KiB2022-Oct-29 21:29
libcvc4-dev_1.8-3_i386.deb128.0 KiB2022-Oct-29 21:23
libcvc4-dev_1.8-3_armhf.deb128.0 KiB2022-Oct-29 21:47
libcvc4-dev_1.8-3_arm64.deb128.0 KiB2022-Oct-29 21:47
libcvc4-dev_1.8-3_amd64.deb128.0 KiB2022-Oct-29 21:29
libcvc4-7_1.8-3_i386.deb6.4 MiB2022-Oct-29 21:23
libcvc4-7_1.8-3_armhf.deb5.1 MiB2022-Oct-29 21:47
libcvc4-7_1.8-3_arm64.deb4.8 MiB2022-Oct-29 21:47
libcvc4-7_1.8-3_amd64.deb5.7 MiB2022-Oct-29 21:29
cvc4_1.8.orig.tar.gz7.2 MiB2020-Sep-13 23:17
cvc4_1.8-3_i386.deb80.7 KiB2022-Oct-29 21:23
cvc4_1.8-3_armhf.deb73.3 KiB2022-Oct-29 21:47
cvc4_1.8-3_arm64.deb73.8 KiB2022-Oct-29 21:47
cvc4_1.8-3_amd64.deb78.8 KiB2022-Oct-29 21:29
cvc4_1.8-3.dsc2.2 KiB2022-Oct-29 19:57
cvc4_1.8-3.debian.tar.xz16.3 KiB2022-Oct-29 19:57

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!