19.3 MiB
15 files
0 directories
Index of /ubuntu/pool/universe/c/cvc5/
Filename Modified Size Type
[Parent Directory]---
cvc5_1.1.2-2.debian.tar.xz03/05/24 01:5503/05/247.2 KiB[Save][Download]
cvc5_1.1.2-2.dsc03/05/24 01:5503/05/242.4 KiB[Save][Download]
cvc5_1.1.2-2_amd64.deb03/05/24 02:3903/05/2493 KiB[Save][Download]
libcvc5-1_1.1.2-2_amd64.deb03/05/24 02:3903/05/244.9 MiB[Save][Download]
libcvc5-dev_1.1.2-2_amd64.deb03/05/24 02:3903/05/2482.2 KiB[Save][Download]
libcvc5parser1_1.1.2-2_amd64.deb03/05/24 02:3903/05/24205 KiB[Save][Download]
python3-cvc5_1.1.2-2_amd64.deb03/05/24 02:3903/05/24341 KiB[Save][Download]
libcvc5-1_1.1.2-1build1_amd64.deb01/04/24 03:4601/04/244.9 MiB[Save][Download]
libcvc5-dev_1.1.2-1build1_amd64.deb01/04/24 03:4601/04/2482.2 KiB[Save][Download]
cvc5_1.1.2.orig.tar.gz03/03/24 11:2303/03/248.2 MiB[Save][Download]
cvc5_1.1.2-1build1.debian.tar.xz31/03/24 18:3631/03/246.4 KiB[Save][Download]
cvc5_1.1.2-1build1.dsc31/03/24 18:3631/03/242.5 KiB[Save][Download]
cvc5_1.1.2-1build1_amd64.deb01/04/24 03:4601/04/2493.4 KiB[Save][Download]
libcvc5parser1_1.1.2-1build1_amd64.deb01/04/24 03:4601/04/24205 KiB[Save][Download]
python3-cvc5_1.1.2-1build1_amd64.deb01/04/24 03:4601/04/24339 KiB[Save][Download]
Page generated in 0.000666 seconds
Browsing /ubuntu/pool/universe/c/cvc5/ @ mirror.ihost.md