Index of /debian/pool/main/c/cvc5/

NameLast ModifiedSizeType
../ -  Directory
cvc5_1.0.3-1.debian.tar.xz2022-Dec-20 04:26:075.8Kapplication/octet-stream
cvc5_1.0.3-1.dsc2022-Dec-20 04:26:072.2Kapplication/octet-stream
cvc5_1.0.3-1_amd64.deb2022-Dec-20 06:55:42105.3Kapplication/octet-stream
cvc5_1.0.3.orig.tar.gz2022-Dec-20 04:26:077.9Mapplication/octet-stream
cvc5_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:00106.6Kapplication/octet-stream
cvc5_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:49109.3Kapplication/octet-stream
cvc5_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:3199.4Kapplication/octet-stream
cvc5_1.1.2-2.debian.tar.xz2024-Mar-19 23:22:507.2Kapplication/octet-stream
cvc5_1.1.2-2.dsc2024-Mar-19 23:22:502.4Kapplication/octet-stream
cvc5_1.1.2.orig.tar.gz2024-Mar-03 03:53:308.1Mapplication/octet-stream
cvc5_1.3.2-1+b1_amd64.deb2026-Apr-23 17:56:55139.9Kapplication/octet-stream
cvc5_1.3.2-1+b1_i386.deb2026-Apr-23 18:13:25142.2Kapplication/octet-stream
cvc5_1.3.2-1+b1_loong64.deb2026-Apr-24 01:10:46128.8Kapplication/octet-stream
cvc5_1.3.2-1.debian.tar.xz2025-Dec-24 02:13:588.3Kapplication/octet-stream
cvc5_1.3.2-1.dsc2025-Dec-24 02:13:582.4Kapplication/octet-stream
cvc5_1.3.2-1_riscv64.deb2025-Dec-24 10:34:50129.6Kapplication/octet-stream
cvc5_1.3.2.orig.tar.gz2025-Dec-24 02:13:588.8Mapplication/octet-stream
libcvc5-1_1.0.3-1_amd64.deb2022-Dec-20 06:55:425.5Mapplication/octet-stream
libcvc5-1_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:006.3Mapplication/octet-stream
libcvc5-1_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:496.9Mapplication/octet-stream
libcvc5-1_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:316.4Mapplication/octet-stream
libcvc5-1_1.3.2-1+b1_amd64.deb2026-Apr-23 17:56:557.3Mapplication/octet-stream
libcvc5-1_1.3.2-1+b1_i386.deb2026-Apr-23 18:13:257.9Mapplication/octet-stream
libcvc5-1_1.3.2-1+b1_loong64.deb2026-Apr-24 01:10:476.8Mapplication/octet-stream
libcvc5-1_1.3.2-1_riscv64.deb2025-Dec-24 10:34:507.4Mapplication/octet-stream
libcvc5-dev_1.0.3-1_amd64.deb2022-Dec-20 06:55:4257.2Kapplication/octet-stream
libcvc5-dev_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:0091.1Kapplication/octet-stream
libcvc5-dev_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:4991.0Kapplication/octet-stream
libcvc5-dev_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:3191.0Kapplication/octet-stream
libcvc5-dev_1.3.2-1+b1_amd64.deb2026-Apr-23 17:56:55121.3Kapplication/octet-stream
libcvc5-dev_1.3.2-1+b1_i386.deb2026-Apr-23 18:13:25121.3Kapplication/octet-stream
libcvc5-dev_1.3.2-1+b1_loong64.deb2026-Apr-24 01:10:47121.3Kapplication/octet-stream
libcvc5-dev_1.3.2-1_riscv64.deb2025-Dec-24 10:34:50121.1Kapplication/octet-stream
libcvc5parser1_1.0.3-1_amd64.deb2022-Dec-20 06:55:42299.6Kapplication/octet-stream
libcvc5parser1_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:00231.2Kapplication/octet-stream
libcvc5parser1_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:49251.8Kapplication/octet-stream
libcvc5parser1_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:31221.6Kapplication/octet-stream
libcvc5parser1_1.3.2-1+b1_amd64.deb2026-Apr-23 17:56:55266.6Kapplication/octet-stream
libcvc5parser1_1.3.2-1+b1_i386.deb2026-Apr-23 18:13:25286.9Kapplication/octet-stream
libcvc5parser1_1.3.2-1+b1_loong64.deb2026-Apr-24 01:10:47250.0Kapplication/octet-stream
libcvc5parser1_1.3.2-1_riscv64.deb2025-Dec-24 10:34:51258.2Kapplication/octet-stream
python3-cvc5_1.1.2-2+b3_amd64.deb2025-Jan-09 12:11:00331.1Kapplication/octet-stream
python3-cvc5_1.1.2-2+b3_i386.deb2025-Jan-09 12:05:49317.8Kapplication/octet-stream
python3-cvc5_1.1.2-2+b3_riscv64.deb2025-Jan-12 21:01:31320.2Kapplication/octet-stream
python3-cvc5_1.3.2-1+b1_amd64.deb2026-Apr-23 17:56:55377.8Kapplication/octet-stream
python3-cvc5_1.3.2-1+b1_i386.deb2026-Apr-23 18:13:25365.3Kapplication/octet-stream
python3-cvc5_1.3.2-1+b1_loong64.deb2026-Apr-24 01:10:47339.5Kapplication/octet-stream
python3-cvc5_1.3.2-1_riscv64.deb2025-Dec-24 10:34:51359.2Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences