| ⬆️Parent directory | — | — |
| 📦cvc4_1.5-1.debian.tar.xz | 5.88K | Wed Nov 01 2017 |
| 📄cvc4_1.5-1.dsc | 2.17K | Wed Nov 01 2017 |
| 📦cvc4_1.5-1_amd64.deb | 136K | Fri Nov 03 2017 |
| 📦cvc4_1.5-1_i386.deb | 140K | Fri Nov 03 2017 |
| 📦cvc4_1.5.orig.tar.gz | 7.56M | Wed Nov 01 2017 |
| 📦cvc4_1.6-2build2.debian.tar.xz | 8.2K | Tue Feb 04 2020 |
| 📄cvc4_1.6-2build2.dsc | 2.7K | Tue Feb 04 2020 |
| 📦cvc4_1.6-2build2_amd64.deb | 135K | Tue Feb 04 2020 |
| 📦cvc4_1.6.orig.tar.gz | 7.46M | Sun Aug 12 2018 |
| 📦cvc4_1.8-2.debian.tar.xz | 16.1K | Wed Sep 30 2020 |
| 📄cvc4_1.8-2.dsc | 2.23K | Wed Sep 30 2020 |
| 📦cvc4_1.8-2_amd64.deb | 71.7K | Wed Sep 30 2020 |
| 📦cvc4_1.8-3build2.debian.tar.xz | 16.5K | Mon Apr 01 2024 |
| 📄cvc4_1.8-3build2.dsc | 2.31K | Mon Apr 01 2024 |
| 📦cvc4_1.8-3build2_amd64.deb | 73.7K | Mon Apr 01 2024 |
| 📦cvc4_1.8-5.debian.tar.xz | 17.2K | Tue Oct 28 2025 |
| 📄cvc4_1.8-5.dsc | 1.82K | Tue Oct 28 2025 |
| 📦cvc4_1.8-5_amd64.deb | 68.8K | Tue Oct 28 2025 |
| 📦cvc4_1.8.orig.tar.gz | 7.2M | Wed Sep 30 2020 |
| 📦libcvc4-4_1.5-1_amd64.deb | 3.22M | Fri Nov 03 2017 |
| 📦libcvc4-4_1.5-1_i386.deb | 3.46M | Fri Nov 03 2017 |
| 📦libcvc4-5_1.6-2build2_amd64.deb | 4.31M | Tue Feb 04 2020 |
| 📦libcvc4-7_1.8-2_amd64.deb | 5.4M | Wed Sep 30 2020 |
| 📦libcvc4-7_1.8-3build2_amd64.deb | 4.52M | Mon Apr 01 2024 |
| 📦libcvc4-7_1.8-5_amd64.deb | 4.7M | Tue Oct 28 2025 |
| 📦libcvc4-dev_1.5-1_amd64.deb | 5.7M | Fri Nov 03 2017 |
| 📦libcvc4-dev_1.5-1_i386.deb | 6.09M | Fri Nov 03 2017 |
| 📦libcvc4-dev_1.6-2build2_amd64.deb | 6.96M | Tue Feb 04 2020 |
| 📦libcvc4-dev_1.8-2_amd64.deb | 121K | Wed Sep 30 2020 |
| 📦libcvc4-dev_1.8-3build2_amd64.deb | 123K | Mon Apr 01 2024 |
| 📦libcvc4-dev_1.8-5_amd64.deb | 123K | Tue Oct 28 2025 |
| 📦libcvc4parser4_1.5-1_amd64.deb | 356K | Fri Nov 03 2017 |
| 📦libcvc4parser4_1.5-1_i386.deb | 382K | Fri Nov 03 2017 |
| 📦libcvc4parser5_1.6-2build2_amd64.deb | 356K | Tue Feb 04 2020 |
| 📦libcvc4parser7_1.8-2_amd64.deb | 350K | Wed Sep 30 2020 |
| 📦libcvc4parser7_1.8-3build2_amd64.deb | 366K | Mon Apr 01 2024 |
| 📦libcvc4parser7_1.8-5_amd64.deb | 376K | Tue Oct 28 2025 |