|
../ |
— |
— |
|
cvc4_1.5-1_amd64.deb |
135.4 KB |
Nov 3, 2017 |
|
cvc4_1.5-1_i386.deb |
139.5 KB |
Nov 3, 2017 |
|
cvc4_1.5-1.debian.tar.xz |
5.9 KB |
Nov 1, 2017 |
|
cvc4_1.5-1.dsc |
2.2 KB |
Nov 1, 2017 |
|
cvc4_1.5.orig.tar.gz |
7.6 MB |
Nov 1, 2017 |
|
cvc4_1.6-2build2_amd64.deb |
134.5 KB |
Feb 3, 2020 |
|
cvc4_1.6-2build2.debian.tar.xz |
8.2 KB |
Feb 3, 2020 |
|
cvc4_1.6-2build2.dsc |
2.7 KB |
Feb 3, 2020 |
|
cvc4_1.6.orig.tar.gz |
7.5 MB |
Aug 12, 2018 |
|
cvc4_1.8-2_amd64.deb |
71.6 KB |
Sep 30, 2020 |
|
cvc4_1.8-2.debian.tar.xz |
16.1 KB |
Sep 30, 2020 |
|
cvc4_1.8-2.dsc |
2.2 KB |
Sep 30, 2020 |
|
cvc4_1.8-3build2_amd64.deb |
73.6 KB |
Mar 31, 2024 |
|
cvc4_1.8-3build2.debian.tar.xz |
16.5 KB |
Mar 31, 2024 |
|
cvc4_1.8-3build2.dsc |
2.3 KB |
Mar 31, 2024 |
|
cvc4_1.8-5_amd64.deb |
68.7 KB |
Oct 27, 2025 |
|
cvc4_1.8-5_amd64v3.deb |
69.8 KB |
Oct 27, 2025 |
|
cvc4_1.8-5.debian.tar.xz |
17.2 KB |
Oct 27, 2025 |
|
cvc4_1.8-5.dsc |
1.8 KB |
Oct 27, 2025 |
|
cvc4_1.8.orig.tar.gz |
7.2 MB |
Sep 30, 2020 |
|
libcvc4-4_1.5-1_amd64.deb |
3.2 MB |
Nov 3, 2017 |
|
libcvc4-4_1.5-1_i386.deb |
3.5 MB |
Nov 3, 2017 |
|
libcvc4-5_1.6-2build2_amd64.deb |
4.3 MB |
Feb 3, 2020 |
|
libcvc4-7_1.8-2_amd64.deb |
5.4 MB |
Sep 30, 2020 |
|
libcvc4-7_1.8-3build2_amd64.deb |
4.5 MB |
Mar 31, 2024 |
|
libcvc4-7_1.8-5_amd64.deb |
4.7 MB |
Oct 27, 2025 |
|
libcvc4-7_1.8-5_amd64v3.deb |
4.8 MB |
Oct 27, 2025 |
|
libcvc4-dev_1.5-1_amd64.deb |
5.7 MB |
Nov 3, 2017 |
|
libcvc4-dev_1.5-1_i386.deb |
6.1 MB |
Nov 3, 2017 |
|
libcvc4-dev_1.6-2build2_amd64.deb |
7 MB |
Feb 3, 2020 |
|
libcvc4-dev_1.8-2_amd64.deb |
120.3 KB |
Sep 30, 2020 |
|
libcvc4-dev_1.8-3build2_amd64.deb |
122.3 KB |
Mar 31, 2024 |
|
libcvc4-dev_1.8-5_amd64.deb |
122.3 KB |
Oct 27, 2025 |
|
libcvc4-dev_1.8-5_amd64v3.deb |
122.3 KB |
Oct 27, 2025 |
|
libcvc4parser4_1.5-1_amd64.deb |
355.2 KB |
Nov 3, 2017 |
|
libcvc4parser4_1.5-1_i386.deb |
381.1 KB |
Nov 3, 2017 |
|
libcvc4parser5_1.6-2build2_amd64.deb |
355.6 KB |
Feb 3, 2020 |
|
libcvc4parser7_1.8-2_amd64.deb |
349.1 KB |
Sep 30, 2020 |
|
libcvc4parser7_1.8-3build2_amd64.deb |
365.1 KB |
Mar 31, 2024 |
|
libcvc4parser7_1.8-5_amd64.deb |
375.1 KB |
Oct 27, 2025 |
|
libcvc4parser7_1.8-5_amd64v3.deb |
385.5 KB |
Oct 27, 2025 |