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-4.debian.tar.xz2025-Jul-27 16:17:1516.8Kapplication/octet-stream
cvc4_1.8-4.dsc2025-Jul-27 16:17:152.1Kapplication/octet-stream
cvc4_1.8-4_amd64.deb2025-Aug-11 18:09:3980.5Kapplication/octet-stream
cvc4_1.8-4_i386.deb2025-Aug-11 18:04:1582.5Kapplication/octet-stream
cvc4_1.8-4_riscv64.deb2025-Aug-13 02:04:5977.1Kapplication/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-4_amd64.deb2025-Aug-11 18:09:396.2Mapplication/octet-stream
libcvc4-7_1.8-4_i386.deb2025-Aug-11 18:04:166.8Mapplication/octet-stream
libcvc4-7_1.8-4_riscv64.deb2025-Aug-13 02:05:006.2Mapplication/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-4_amd64.deb2025-Aug-11 18:09:39128.0Kapplication/octet-stream
libcvc4-dev_1.8-4_i386.deb2025-Aug-11 18:04:16128.0Kapplication/octet-stream
libcvc4-dev_1.8-4_riscv64.deb2025-Aug-13 02:05:00128.0Kapplication/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-4_amd64.deb2025-Aug-11 18:09:39372.9Kapplication/octet-stream
libcvc4parser7_1.8-4_i386.deb2025-Aug-11 18:04:16401.9Kapplication/octet-stream
libcvc4parser7_1.8-4_riscv64.deb2025-Aug-13 02:05:00362.4Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences