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

NameLast ModifiedSizeType
../ -  Directory
cvc4_1.6-2+b1_amd64.deb2018-Nov-17 10:57:19133.0Kapplication/octet-stream
cvc4_1.6-2+b1_i386.deb2018-Nov-17 03:59:31136.2Kapplication/octet-stream
cvc4_1.6-2.debian.tar.xz2018-Aug-13 22:01:488.0Kapplication/octet-stream
cvc4_1.6-2.dsc2018-Aug-13 22:01:482.6Kapplication/octet-stream
cvc4_1.6.orig.tar.gz2018-Aug-07 21:44:257.4Mapplication/octet-stream
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.orig.tar.gz2020-Sep-14 01:17:217.2Mapplication/octet-stream
libcvc4-5_1.6-2+b1_amd64.deb2018-Nov-17 10:57:203.8Mapplication/octet-stream
libcvc4-5_1.6-2+b1_i386.deb2018-Nov-17 03:59:324.3Mapplication/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-dev_1.6-2+b1_amd64.deb2018-Nov-17 10:57:206.4Mapplication/octet-stream
libcvc4-dev_1.6-2+b1_i386.deb2018-Nov-17 03:59:326.8Mapplication/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
libcvc4parser5_1.6-2+b1_amd64.deb2018-Nov-17 10:57:20354.0Kapplication/octet-stream
libcvc4parser5_1.6-2+b1_i386.deb2018-Nov-17 03:59:32380.4Kapplication/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
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences