| ⬆️Parent directory | — | — |
| 📦cvc4_1.8-2.debian.tar.xz | 16.1K | Fri Sep 18 2020 |
| 📄cvc4_1.8-2.dsc | 2.23K | Fri Sep 18 2020 |
| 📦cvc4_1.8-2_amd64.deb | 79.6K | Fri Sep 18 2020 |
| 📦cvc4_1.8-2_i386.deb | 80.7K | Fri Sep 18 2020 |
| 📦cvc4_1.8-3+b4_amd64.deb | 80.9K | Mon Apr 07 2025 |
| 📦cvc4_1.8-3+b4_i386.deb | 83.1K | Mon Apr 07 2025 |
| 📦cvc4_1.8-3.debian.tar.xz | 16.4K | Sun Oct 30 2022 |
| 📄cvc4_1.8-3.dsc | 2.2K | Sun Oct 30 2022 |
| 📦cvc4_1.8-3_amd64.deb | 78.8K | Sun Oct 30 2022 |
| 📦cvc4_1.8-3_i386.deb | 80.8K | Sun Oct 30 2022 |
| 📦cvc4_1.8-5+b1_amd64.deb | 78.5K | Thu Apr 23 2026 |
| 📦cvc4_1.8-5+b1_i386.deb | 80.6K | Thu Apr 23 2026 |
| 📦cvc4_1.8-5.debian.tar.xz | 17.2K | Mon Oct 27 2025 |
| 📄cvc4_1.8-5.dsc | 1.82K | Mon Oct 27 2025 |
| 📦cvc4_1.8.orig.tar.gz | 7.2M | Mon Sep 14 2020 |
| 📦libcvc4-7_1.8-2_amd64.deb | 5.39M | Fri Sep 18 2020 |
| 📦libcvc4-7_1.8-2_i386.deb | 5.87M | Fri Sep 18 2020 |
| 📦libcvc4-7_1.8-3+b4_amd64.deb | 6.31M | Mon Apr 07 2025 |
| 📦libcvc4-7_1.8-3+b4_i386.deb | 6.85M | Mon Apr 07 2025 |
| 📦libcvc4-7_1.8-3_amd64.deb | 5.67M | Sun Oct 30 2022 |
| 📦libcvc4-7_1.8-3_i386.deb | 6.4M | Sun Oct 30 2022 |
| 📦libcvc4-7_1.8-5+b1_amd64.deb | 6.2M | Thu Apr 23 2026 |
| 📦libcvc4-7_1.8-5+b1_i386.deb | 6.61M | Thu Apr 23 2026 |
| 📦libcvc4-dev_1.8-2_amd64.deb | 129K | Fri Sep 18 2020 |
| 📦libcvc4-dev_1.8-2_i386.deb | 129K | Fri Sep 18 2020 |
| 📦libcvc4-dev_1.8-3+b4_amd64.deb | 129K | Mon Apr 07 2025 |
| 📦libcvc4-dev_1.8-3+b4_i386.deb | 129K | Mon Apr 07 2025 |
| 📦libcvc4-dev_1.8-3_amd64.deb | 129K | Sun Oct 30 2022 |
| 📦libcvc4-dev_1.8-3_i386.deb | 129K | Sun Oct 30 2022 |
| 📦libcvc4-dev_1.8-5+b1_amd64.deb | 129K | Thu Apr 23 2026 |
| 📦libcvc4-dev_1.8-5+b1_i386.deb | 128K | Thu Apr 23 2026 |
| 📦libcvc4parser7_1.8-2_amd64.deb | 358K | Fri Sep 18 2020 |
| 📦libcvc4parser7_1.8-2_i386.deb | 374K | Fri Sep 18 2020 |
| 📦libcvc4parser7_1.8-3+b4_amd64.deb | 374K | Mon Apr 07 2025 |
| 📦libcvc4parser7_1.8-3+b4_i386.deb | 403K | Mon Apr 07 2025 |
| 📦libcvc4parser7_1.8-3_amd64.deb | 354K | Sun Oct 30 2022 |
| 📦libcvc4parser7_1.8-3_i386.deb | 379K | Sun Oct 30 2022 |
| 📦libcvc4parser7_1.8-5+b1_amd64.deb | 376K | Thu Apr 23 2026 |
| 📦libcvc4parser7_1.8-5+b1_i386.deb | 404K | Thu Apr 23 2026 |