| cvc5_1.1.2-1build1.debian.tar.xz | 6.42 KB | 03/31/2024, 18:36:42 |
| cvc5_1.1.2-1build1.dsc | 2.53 KB | 03/31/2024, 18:36:42 |
| cvc5_1.1.2-1build1_amd64.deb | 93.36 KB | 04/01/2024, 03:46:29 |
| cvc5_1.1.2-2build1.debian.tar.xz | 7.30 KB | 01/03/2025, 21:43:24 |
| cvc5_1.1.2-2build1.dsc | 2.42 KB | 01/03/2025, 21:43:24 |
| cvc5_1.1.2-2build1_amd64.deb | 89.78 KB | 01/03/2025, 21:43:40 |
| cvc5_1.1.2-3.debian.tar.xz | 7.22 KB | 10/28/2025, 00:01:54 |
| cvc5_1.1.2-3.dsc | 2.40 KB | 10/28/2025, 00:01:54 |
| cvc5_1.1.2-3_amd64.deb | 92.49 KB | 10/28/2025, 00:16:15 |
| cvc5_1.1.2-3_amd64v3.deb | 93.63 KB | 10/28/2025, 00:28:51 |
| cvc5_1.1.2.orig.tar.gz | 8.18 MB | 03/03/2024, 11:23:16 |
| cvc5_1.3.2-1.debian.tar.xz | 8.33 KB | 12/24/2025, 06:24:36 |
| cvc5_1.3.2-1.dsc | 2.41 KB | 12/24/2025, 06:24:36 |
| cvc5_1.3.2-1_amd64.deb | 119.10 KB | 12/24/2025, 06:24:56 |
| cvc5_1.3.2-1_amd64v3.deb | 120.80 KB | 12/24/2025, 06:24:59 |
| cvc5_1.3.2.orig.tar.gz | 8.82 MB | 12/24/2025, 06:24:36 |
| libcvc5-1_1.1.2-1build1_amd64.deb | 4.85 MB | 04/01/2024, 03:46:29 |
| libcvc5-1_1.1.2-2build1_amd64.deb | 5.04 MB | 01/03/2025, 21:43:40 |
| libcvc5-1_1.1.2-3_amd64.deb | 5.06 MB | 10/28/2025, 00:16:15 |
| libcvc5-1_1.1.2-3_amd64v3.deb | 5.23 MB | 10/28/2025, 00:28:51 |
| libcvc5-1_1.3.2-1_amd64.deb | 5.89 MB | 12/24/2025, 06:24:56 |
| libcvc5-1_1.3.2-1_amd64v3.deb | 6.08 MB | 12/24/2025, 06:24:59 |
| libcvc5-dev_1.1.2-1build1_amd64.deb | 82.23 KB | 04/01/2024, 03:46:29 |
| libcvc5-dev_1.1.2-2build1_amd64.deb | 82.20 KB | 01/03/2025, 21:43:40 |
| libcvc5-dev_1.1.2-3_amd64.deb | 82.25 KB | 10/28/2025, 00:16:14 |
| libcvc5-dev_1.1.2-3_amd64v3.deb | 82.26 KB | 10/28/2025, 00:28:50 |
| libcvc5-dev_1.3.2-1_amd64.deb | 109.34 KB | 12/24/2025, 06:24:56 |
| libcvc5-dev_1.3.2-1_amd64v3.deb | 109.35 KB | 12/24/2025, 06:24:59 |
| libcvc5parser1_1.1.2-1build1_amd64.deb | 204.97 KB | 04/01/2024, 03:46:29 |
| libcvc5parser1_1.1.2-2build1_amd64.deb | 206.26 KB | 01/03/2025, 21:43:40 |
| libcvc5parser1_1.1.2-3_amd64.deb | 208.19 KB | 10/28/2025, 00:16:14 |
| libcvc5parser1_1.1.2-3_amd64v3.deb | 211.64 KB | 10/28/2025, 00:28:50 |
| libcvc5parser1_1.3.2-1_amd64.deb | 229.25 KB | 12/24/2025, 06:24:56 |
| libcvc5parser1_1.3.2-1_amd64v3.deb | 233.78 KB | 12/24/2025, 06:24:59 |
| python3-cvc5_1.1.2-1build1_amd64.deb | 339.19 KB | 04/01/2024, 03:46:29 |
| python3-cvc5_1.1.2-2build1_amd64.deb | 349.91 KB | 01/03/2025, 21:43:39 |
| python3-cvc5_1.1.2-3_amd64.deb | 323.24 KB | 10/28/2025, 00:16:14 |
| python3-cvc5_1.1.2-3_amd64v3.deb | 331.91 KB | 10/28/2025, 00:28:50 |
| python3-cvc5_1.3.2-1_amd64.deb | 381.84 KB | 12/24/2025, 06:24:56 |
| python3-cvc5_1.3.2-1_amd64v3.deb | 384.35 KB | 12/24/2025, 06:24:59 |
