|
../
|
— |
— |
|
cvc4_1.5-1.debian.tar.xz
|
5.9 KiB |
2017-11-01 13:57:17 |
|
cvc4_1.5-1.dsc
|
2.2 KiB |
2017-11-01 13:57:10 |
|
cvc4_1.5-1_amd64.deb
|
135 KiB |
2017-11-03 06:57:06 |
|
cvc4_1.5-1_i386.deb
|
140 KiB |
2017-11-03 06:59:19 |
|
cvc4_1.5.orig.tar.gz
|
7.6 MiB |
2017-11-01 13:57:10 |
|
cvc4_1.6-2build2.debian.tar.xz
|
8.2 KiB |
2020-02-03 22:24:25 |
|
cvc4_1.6-2build2.dsc
|
2.7 KiB |
2020-02-03 22:24:25 |
|
cvc4_1.6-2build2_amd64.deb
|
134 KiB |
2020-02-03 23:45:00 |
|
cvc4_1.6.orig.tar.gz
|
7.5 MiB |
2018-08-12 05:13:23 |
|
cvc4_1.8-2.debian.tar.xz
|
16 KiB |
2020-09-30 15:43:40 |
|
cvc4_1.8-2.dsc
|
2.2 KiB |
2020-09-30 15:43:39 |
|
cvc4_1.8-2_amd64.deb
|
72 KiB |
2020-09-30 16:28:33 |
|
cvc4_1.8-3build2.debian.tar.xz
|
16 KiB |
2024-03-31 18:36:43 |
|
cvc4_1.8-3build2.dsc
|
2.3 KiB |
2024-03-31 18:36:43 |
|
cvc4_1.8-3build2_amd64.deb
|
74 KiB |
2024-03-31 20:36:19 |
|
cvc4_1.8-5.debian.tar.xz
|
17 KiB |
2025-10-28 00:01:55 |
|
cvc4_1.8-5.dsc
|
1.8 KiB |
2025-10-28 00:01:54 |
|
cvc4_1.8-5_amd64.deb
|
69 KiB |
2025-10-28 00:16:27 |
|
cvc4_1.8-5_amd64v3.deb
|
70 KiB |
2025-10-28 00:28:58 |
|
cvc4_1.8.orig.tar.gz
|
7.2 MiB |
2020-09-30 15:43:39 |
|
libcvc4-4_1.5-1_amd64.deb
|
3.2 MiB |
2017-11-03 06:57:06 |
|
libcvc4-4_1.5-1_i386.deb
|
3.5 MiB |
2017-11-03 06:59:18 |
|
libcvc4-5_1.6-2build2_amd64.deb
|
4.3 MiB |
2020-02-03 23:45:00 |
|
libcvc4-7_1.8-2_amd64.deb
|
5.4 MiB |
2020-09-30 16:28:33 |
|
libcvc4-7_1.8-3build2_amd64.deb
|
4.5 MiB |
2024-03-31 20:36:19 |
|
libcvc4-7_1.8-5_amd64.deb
|
4.7 MiB |
2025-10-28 00:16:27 |
|
libcvc4-7_1.8-5_amd64v3.deb
|
4.8 MiB |
2025-10-28 00:28:58 |
|
libcvc4-dev_1.5-1_amd64.deb
|
5.7 MiB |
2017-11-03 06:57:06 |
|
libcvc4-dev_1.5-1_i386.deb
|
6.1 MiB |
2017-11-03 06:59:18 |
|
libcvc4-dev_1.6-2build2_amd64.deb
|
7.0 MiB |
2020-02-03 23:45:00 |
|
libcvc4-dev_1.8-2_amd64.deb
|
120 KiB |
2020-09-30 16:28:33 |
|
libcvc4-dev_1.8-3build2_amd64.deb
|
122 KiB |
2024-03-31 20:36:18 |
|
libcvc4-dev_1.8-5_amd64.deb
|
122 KiB |
2025-10-28 00:16:26 |
|
libcvc4-dev_1.8-5_amd64v3.deb
|
122 KiB |
2025-10-28 00:28:57 |
|
libcvc4parser4_1.5-1_amd64.deb
|
355 KiB |
2017-11-03 06:57:06 |
|
libcvc4parser4_1.5-1_i386.deb
|
381 KiB |
2017-11-03 06:59:19 |
|
libcvc4parser5_1.6-2build2_amd64.deb
|
356 KiB |
2020-02-03 23:45:00 |
|
libcvc4parser7_1.8-2_amd64.deb
|
349 KiB |
2020-09-30 16:28:33 |
|
libcvc4parser7_1.8-3build2_amd64.deb
|
365 KiB |
2024-03-31 20:36:18 |
|
libcvc4parser7_1.8-5_amd64.deb
|
375 KiB |
2025-10-28 00:16:26 |
|
libcvc4parser7_1.8-5_amd64v3.deb
|
386 KiB |
2025-10-28 00:28:57 |