|
Go up
|
— |
— |
|
|
cvc4_1.5-1.debian.tar.xz
|
6,012 |
|
|
|
cvc4_1.5-1.dsc
|
2,221 |
|
|
|
cvc4_1.5-1_amd64.deb
|
138,624 |
|
|
|
cvc4_1.5-1_i386.deb
|
142,804 |
|
|
|
cvc4_1.5.orig.tar.gz
|
7,926,116 |
|
|
|
cvc4_1.6-2build2.debian.tar.xz
|
8,392 |
|
|
|
cvc4_1.6-2build2.dsc
|
2,755 |
|
|
|
cvc4_1.6-2build2_amd64.deb
|
137,732 |
|
|
|
cvc4_1.6.orig.tar.gz
|
7,815,893 |
|
|
|
cvc4_1.8-2.debian.tar.xz
|
16,456 |
|
|
|
cvc4_1.8-2.dsc
|
2,275 |
|
|
|
cvc4_1.8-2_amd64.deb
|
73,336 |
|
|
|
cvc4_1.8-3build2.debian.tar.xz
|
16,876 |
|
|
|
cvc4_1.8-3build2.dsc
|
2,363 |
|
|
|
cvc4_1.8-3build2_amd64.deb
|
75,388 |
|
|
|
cvc4_1.8-3build2_arm64.deb
|
71,602 |
|
|
|
cvc4_1.8-5.debian.tar.xz
|
17,608 |
|
|
|
cvc4_1.8-5.dsc
|
1,861 |
|
|
|
cvc4_1.8-5_amd64.deb
|
70,364 |
|
|
|
cvc4_1.8-5_amd64v3.deb
|
71,496 |
|
|
|
cvc4_1.8-5_arm64.deb
|
66,632 |
|
|
|
cvc4_1.8.orig.tar.gz
|
7,547,187 |
|
|
|
libcvc4-4_1.5-1_amd64.deb
|
3,375,660 |
|
|
|
libcvc4-4_1.5-1_i386.deb
|
3,618,828 |
|
|
|
libcvc4-5_1.6-2build2_amd64.deb
|
4,512,744 |
|
|
|
libcvc4-7_1.8-2_amd64.deb
|
5,659,900 |
|
|
|
libcvc4-7_1.8-3build2_amd64.deb
|
4,734,878 |
|
|
|
libcvc4-7_1.8-3build2_arm64.deb
|
4,342,788 |
|
|
|
libcvc4-7_1.8-5_amd64.deb
|
4,918,224 |
|
|
|
libcvc4-7_1.8-5_amd64v3.deb
|
5,060,584 |
|
|
|
libcvc4-7_1.8-5_arm64.deb
|
4,494,068 |
|
|
|
libcvc4-dev_1.5-1_amd64.deb
|
5,968,312 |
|
|
|
libcvc4-dev_1.5-1_i386.deb
|
6,384,320 |
|
|
|
libcvc4-dev_1.6-2build2_amd64.deb
|
7,295,824 |
|
|
|
libcvc4-dev_1.8-2_amd64.deb
|
123,212 |
|
|
|
libcvc4-dev_1.8-3build2_amd64.deb
|
125,256 |
|
|
|
libcvc4-dev_1.8-3build2_arm64.deb
|
125,246 |
|
|
|
libcvc4-dev_1.8-5_amd64.deb
|
125,236 |
|
|
|
libcvc4-dev_1.8-5_amd64v3.deb
|
125,246 |
|
|
|
libcvc4-dev_1.8-5_arm64.deb
|
125,230 |
|
|
|
libcvc4parser4_1.5-1_amd64.deb
|
363,676 |
|
|
|
libcvc4parser4_1.5-1_i386.deb
|
390,272 |
|
|
|
libcvc4parser5_1.6-2build2_amd64.deb
|
364,108 |
|
|
|
libcvc4parser7_1.8-2_amd64.deb
|
357,524 |
|
|
|
libcvc4parser7_1.8-3build2_amd64.deb
|
373,822 |
|
|
|
libcvc4parser7_1.8-3build2_arm64.deb
|
353,574 |
|
|
|
libcvc4parser7_1.8-5_amd64.deb
|
384,090 |
|
|
|
libcvc4parser7_1.8-5_amd64v3.deb
|
394,762 |
|
|
|
libcvc4parser7_1.8-5_arm64.deb
|
367,172 |
|
|
