Index of /debian/pool/main/c/cvc4/

NameLast ModifiedSizeType
../ -  Directory
cvc4_1.8-2.debian.tar.xz2020-Sep-18 03:25:2716.0Kapplication/octet-stream
cvc4_1.8-2.dsc2020-Sep-18 03:25:272.2Kapplication/octet-stream
cvc4_1.8-2_amd64.deb2020-Sep-18 04:11:2779.5Kapplication/octet-stream
cvc4_1.8-2_i386.deb2020-Sep-18 04:42:2180.6Kapplication/octet-stream
cvc4_1.8-3+b4_amd64.deb2025-Apr-07 18:25:0680.9Kapplication/octet-stream
cvc4_1.8-3+b4_i386.deb2025-Apr-07 18:36:0983.0Kapplication/octet-stream
cvc4_1.8-3+b4_riscv64.deb2025-Apr-10 05:49:3677.4Kapplication/octet-stream
cvc4_1.8-3.debian.tar.xz2022-Oct-29 21:57:3016.3Kapplication/octet-stream
cvc4_1.8-3.dsc2022-Oct-29 21:57:302.1Kapplication/octet-stream
cvc4_1.8-3_amd64.deb2022-Oct-29 23:29:0178.8Kapplication/octet-stream
cvc4_1.8-3_i386.deb2022-Oct-29 23:23:5180.7Kapplication/octet-stream
cvc4_1.8-5.debian.tar.xz2025-Oct-27 10:28:5817.2Kapplication/octet-stream
cvc4_1.8-5.dsc2025-Oct-27 10:28:581.8Kapplication/octet-stream
cvc4_1.8-5_amd64.deb2025-Oct-27 10:59:0878.9Kapplication/octet-stream
cvc4_1.8-5_i386.deb2025-Oct-27 11:04:1680.8Kapplication/octet-stream
cvc4_1.8-5_riscv64.deb2025-Oct-27 22:29:2675.3Kapplication/octet-stream
cvc4_1.8.orig.tar.gz2020-Sep-14 01:17:217.2Mapplication/octet-stream
libcvc4-7_1.8-2_amd64.deb2020-Sep-18 04:11:285.3Mapplication/octet-stream
libcvc4-7_1.8-2_i386.deb2020-Sep-18 04:42:225.8Mapplication/octet-stream
libcvc4-7_1.8-3+b4_amd64.deb2025-Apr-07 18:25:076.3Mapplication/octet-stream
libcvc4-7_1.8-3+b4_i386.deb2025-Apr-07 18:36:096.8Mapplication/octet-stream
libcvc4-7_1.8-3+b4_riscv64.deb2025-Apr-10 05:49:366.2Mapplication/octet-stream
libcvc4-7_1.8-3_amd64.deb2022-Oct-29 23:29:015.6Mapplication/octet-stream
libcvc4-7_1.8-3_i386.deb2022-Oct-29 23:23:516.3Mapplication/octet-stream
libcvc4-7_1.8-5_amd64.deb2025-Oct-27 10:59:086.1Mapplication/octet-stream
libcvc4-7_1.8-5_i386.deb2025-Oct-27 11:04:166.6Mapplication/octet-stream
libcvc4-7_1.8-5_riscv64.deb2025-Oct-27 22:29:276.1Mapplication/octet-stream
libcvc4-dev_1.8-2_amd64.deb2020-Sep-18 04:11:28128.1Kapplication/octet-stream
libcvc4-dev_1.8-2_i386.deb2020-Sep-18 04:42:22128.1Kapplication/octet-stream
libcvc4-dev_1.8-3+b4_amd64.deb2025-Apr-07 18:25:07128.3Kapplication/octet-stream
libcvc4-dev_1.8-3+b4_i386.deb2025-Apr-07 18:36:09128.3Kapplication/octet-stream
libcvc4-dev_1.8-3+b4_riscv64.deb2025-Apr-10 05:49:36128.3Kapplication/octet-stream
libcvc4-dev_1.8-3_amd64.deb2022-Oct-29 23:29:01128.0Kapplication/octet-stream
libcvc4-dev_1.8-3_i386.deb2022-Oct-29 23:23:51128.0Kapplication/octet-stream
libcvc4-dev_1.8-5_amd64.deb2025-Oct-27 10:59:08128.2Kapplication/octet-stream
libcvc4-dev_1.8-5_i386.deb2025-Oct-27 11:04:16128.2Kapplication/octet-stream
libcvc4-dev_1.8-5_riscv64.deb2025-Oct-27 22:29:27128.2Kapplication/octet-stream
libcvc4parser7_1.8-2_amd64.deb2020-Sep-18 04:11:29357.6Kapplication/octet-stream
libcvc4parser7_1.8-2_i386.deb2020-Sep-18 04:42:23373.5Kapplication/octet-stream
libcvc4parser7_1.8-3+b4_amd64.deb2025-Apr-07 18:25:07373.2Kapplication/octet-stream
libcvc4parser7_1.8-3+b4_i386.deb2025-Apr-07 18:36:09402.3Kapplication/octet-stream
libcvc4parser7_1.8-3+b4_riscv64.deb2025-Apr-10 05:49:36362.7Kapplication/octet-stream
libcvc4parser7_1.8-3_amd64.deb2022-Oct-29 23:29:01353.8Kapplication/octet-stream
libcvc4parser7_1.8-3_i386.deb2022-Oct-29 23:23:51378.6Kapplication/octet-stream
libcvc4parser7_1.8-5_amd64.deb2025-Oct-27 10:59:08376.3Kapplication/octet-stream
libcvc4parser7_1.8-5_i386.deb2025-Oct-27 11:04:16403.8Kapplication/octet-stream
libcvc4parser7_1.8-5_riscv64.deb2025-Oct-27 22:29:27367.2Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences