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.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-2_amd64.deb2024-Mar-20 02:42:52108.2Kapplication/octet-stream
cvc5_1.1.2-2_i386.deb2024-Mar-20 00:08:31110.8Kapplication/octet-stream
cvc5_1.1.2-2_riscv64.deb2024-Mar-21 12:14:41100.4Kapplication/octet-stream
cvc5_1.1.2.orig.tar.gz2024-Mar-03 03:53:308.1Mapplication/octet-stream
libcvc5-1_1.0.3-1_amd64.deb2022-Dec-20 06:55:425.5Mapplication/octet-stream
libcvc5-1_1.1.2-2_amd64.deb2024-Mar-20 02:42:536.1Mapplication/octet-stream
libcvc5-1_1.1.2-2_i386.deb2024-Mar-20 00:08:316.7Mapplication/octet-stream
libcvc5-1_1.1.2-2_riscv64.deb2024-Mar-21 12:14:426.1Mapplication/octet-stream
libcvc5-dev_1.0.3-1_amd64.deb2022-Dec-20 06:55:4257.2Kapplication/octet-stream
libcvc5-dev_1.1.2-2_amd64.deb2024-Mar-20 02:42:5390.7Kapplication/octet-stream
libcvc5-dev_1.1.2-2_i386.deb2024-Mar-20 00:08:3190.7Kapplication/octet-stream
libcvc5-dev_1.1.2-2_riscv64.deb2024-Mar-21 12:14:4290.7Kapplication/octet-stream
libcvc5parser1_1.0.3-1_amd64.deb2022-Dec-20 06:55:42299.6Kapplication/octet-stream
libcvc5parser1_1.1.2-2_amd64.deb2024-Mar-20 02:42:53228.6Kapplication/octet-stream
libcvc5parser1_1.1.2-2_i386.deb2024-Mar-20 00:08:31247.7Kapplication/octet-stream
libcvc5parser1_1.1.2-2_riscv64.deb2024-Mar-21 12:14:42219.1Kapplication/octet-stream
python3-cvc5_1.1.2-2_amd64.deb2024-Mar-20 02:42:53320.9Kapplication/octet-stream
python3-cvc5_1.1.2-2_i386.deb2024-Mar-20 00:08:31307.6Kapplication/octet-stream
python3-cvc5_1.1.2-2_riscv64.deb2024-Mar-21 12:14:42314.4Kapplication/octet-stream
mirror.hr.nl hosted by HR Hogeschool Rotterdam / Rotterdam University of Applied Sciences