|
Go up
|
— |
— |
|
|
cvc5_1.1.2-1build1.debian.tar.xz
|
6,576 |
|
|
|
cvc5_1.1.2-1build1.dsc
|
2,589 |
|
|
|
cvc5_1.1.2-1build1_amd64.deb
|
95,604 |
|
|
|
cvc5_1.1.2-2build1.debian.tar.xz
|
7,476 |
|
|
|
cvc5_1.1.2-2build1.dsc
|
2,473 |
|
|
|
cvc5_1.1.2-2build1_amd64.deb
|
91,938 |
|
|
|
cvc5_1.1.2-2build1_arm64.deb
|
86,962 |
|
|
|
cvc5_1.1.2.orig.tar.gz
|
8,581,968 |
|
|
|
cvc5_1.3.2-1build1.debian.tar.xz
|
8,596 |
|
|
|
cvc5_1.3.2-1build1.dsc
|
2,471 |
|
|
|
cvc5_1.3.2-1build1_amd64.deb
|
122,028 |
|
|
|
cvc5_1.3.2-1build1_amd64v3.deb
|
123,714 |
|
|
|
cvc5_1.3.2-1build1_arm64.deb
|
114,692 |
|
|
|
cvc5_1.3.2.orig.tar.gz
|
9,250,970 |
|
|
|
libcvc5-1_1.1.2-1build1_amd64.deb
|
5,085,718 |
|
|
|
libcvc5-1_1.1.2-2build1_amd64.deb
|
5,286,080 |
|
|
|
libcvc5-1_1.1.2-2build1_arm64.deb
|
4,875,188 |
|
|
|
libcvc5-1_1.3.2-1build1_amd64.deb
|
6,174,394 |
|
|
|
libcvc5-1_1.3.2-1build1_amd64v3.deb
|
6,377,444 |
|
|
|
libcvc5-1_1.3.2-1build1_arm64.deb
|
5,716,188 |
|
|
|
libcvc5-dev_1.1.2-1build1_amd64.deb
|
84,208 |
|
|
|
libcvc5-dev_1.1.2-2build1_amd64.deb
|
84,174 |
|
|
|
libcvc5-dev_1.1.2-2build1_arm64.deb
|
84,172 |
|
|
|
libcvc5-dev_1.3.2-1build1_amd64.deb
|
111,976 |
|
|
|
libcvc5-dev_1.3.2-1build1_amd64v3.deb
|
111,984 |
|
|
|
libcvc5-dev_1.3.2-1build1_arm64.deb
|
111,974 |
|
|
|
libcvc5parser1_1.1.2-1build1_amd64.deb
|
209,894 |
|
|
|
libcvc5parser1_1.1.2-2build1_amd64.deb
|
211,210 |
|
|
|
libcvc5parser1_1.1.2-2build1_arm64.deb
|
199,426 |
|
|
|
libcvc5parser1_1.3.2-1build1_amd64.deb
|
234,750 |
|
|
|
libcvc5parser1_1.3.2-1build1_amd64v3.deb
|
239,234 |
|
|
|
libcvc5parser1_1.3.2-1build1_arm64.deb
|
219,218 |
|
|
|
python3-cvc5_1.1.2-1build1_amd64.deb
|
347,334 |
|
|
|
python3-cvc5_1.1.2-2build1_amd64.deb
|
358,312 |
|
|
|
python3-cvc5_1.1.2-2build1_arm64.deb
|
339,444 |
|
|
|
python3-cvc5_1.3.2-1build1_amd64.deb
|
390,836 |
|
|
|
python3-cvc5_1.3.2-1build1_amd64v3.deb
|
393,678 |
|
|
|
python3-cvc5_1.3.2-1build1_arm64.deb
|
356,170 |
|
|
