|
📁 ../
|
- |
- |
|
📄 cvc4_1.5-1.debian.tar.xz
|
6012 bytes
|
2017-11-01 13:57:17 |
|
📄 cvc4_1.5-1.dsc
|
2221 bytes
|
2017-11-01 13:57:10 |
|
📄 cvc4_1.5.orig.tar.gz
|
7926116 bytes
|
2017-11-01 13:57:10 |
|
📄 cvc4_1.6-2build2.debian.tar.xz
|
8392 bytes
|
2020-02-03 22:24:25 |
|
📄 cvc4_1.6-2build2.dsc
|
2755 bytes
|
2020-02-03 22:24:25 |
|
📄 cvc4_1.6.orig.tar.gz
|
7815893 bytes
|
2018-08-12 05:13:23 |
|
📄 cvc4_1.8-2.debian.tar.xz
|
16456 bytes
|
2020-09-30 15:43:40 |
|
📄 cvc4_1.8-2.dsc
|
2275 bytes
|
2020-09-30 15:43:39 |
|
📄 cvc4_1.8-2_arm64.deb
|
67816 bytes
|
2020-09-30 16:43:33 |
|
📄 cvc4_1.8-2_armhf.deb
|
67376 bytes
|
2020-09-30 17:43:45 |
|
📄 cvc4_1.8-2_ppc64el.deb
|
71500 bytes
|
2020-09-30 15:58:37 |
|
📄 cvc4_1.8-2_riscv64.deb
|
69072 bytes
|
2020-09-30 19:03:33 |
|
📄 cvc4_1.8-2_s390x.deb
|
68444 bytes
|
2020-09-30 15:58:39 |
|
📄 cvc4_1.8-3build2.debian.tar.xz
|
16876 bytes
|
2024-03-31 18:36:43 |
|
📄 cvc4_1.8-3build2.dsc
|
2363 bytes
|
2024-03-31 18:36:43 |
|
📄 cvc4_1.8-3build2_arm64.deb
|
71602 bytes
|
2024-04-02 01:07:28 |
|
📄 cvc4_1.8-3build2_armhf.deb
|
73820 bytes
|
2024-04-02 02:14:31 |
|
📄 cvc4_1.8-3build2_ppc64el.deb
|
76592 bytes
|
2024-04-02 05:58:59 |
|
📄 cvc4_1.8-3build2_riscv64.deb
|
77064 bytes
|
2024-04-04 01:07:36 |
|
📄 cvc4_1.8-3build2_s390x.deb
|
76306 bytes
|
2024-04-02 11:03:08 |
|
📄 cvc4_1.8-5.debian.tar.xz
|
17608 bytes
|
2025-10-28 00:01:55 |
|
📄 cvc4_1.8-5.dsc
|
1861 bytes
|
2025-10-28 00:01:54 |
|
📄 cvc4_1.8-5_arm64.deb
|
66632 bytes
|
2025-10-28 06:36:54 |
|
📄 cvc4_1.8-5_armhf.deb
|
71944 bytes
|
2025-10-28 06:47:58 |
|
📄 cvc4_1.8-5_ppc64el.deb
|
69954 bytes
|
2025-10-28 07:01:09 |
|
📄 cvc4_1.8-5_riscv64.deb
|
76104 bytes
|
2025-10-28 23:13:48 |
|
📄 cvc4_1.8-5_s390x.deb
|
70096 bytes
|
2025-10-28 07:07:28 |
|
📄 cvc4_1.8.orig.tar.gz
|
7547187 bytes
|
2020-09-30 15:43:39 |
|
📄 libcvc4-7_1.8-2_arm64.deb
|
4796268 bytes
|
2020-09-30 16:43:33 |
|
📄 libcvc4-7_1.8-2_armhf.deb
|
5029444 bytes
|
2020-09-30 17:43:45 |
|
📄 libcvc4-7_1.8-2_ppc64el.deb
|
5296712 bytes
|
2020-09-30 15:58:38 |
|
📄 libcvc4-7_1.8-2_riscv64.deb
|
5477072 bytes
|
2020-09-30 19:03:33 |
|
📄 libcvc4-7_1.8-2_s390x.deb
|
5410100 bytes
|
2020-09-30 15:58:38 |
|
📄 libcvc4-7_1.8-3build2_arm64.deb
|
4342788 bytes
|
2024-04-02 01:07:28 |
|
📄 libcvc4-7_1.8-3build2_armhf.deb
|
6151814 bytes
|
2024-04-02 02:14:31 |
|
📄 libcvc4-7_1.8-3build2_ppc64el.deb
|
4745936 bytes
|
2024-04-02 05:58:59 |
|
📄 libcvc4-7_1.8-3build2_riscv64.deb
|
6739222 bytes
|
2024-04-04 01:07:36 |
|
📄 libcvc4-7_1.8-3build2_s390x.deb
|
5003610 bytes
|
2024-04-02 11:03:08 |
|
📄 libcvc4-7_1.8-5_arm64.deb
|
4494068 bytes
|
2025-10-28 06:36:54 |
|
📄 libcvc4-7_1.8-5_armhf.deb
|
6319522 bytes
|
2025-10-28 06:47:57 |
|
📄 libcvc4-7_1.8-5_ppc64el.deb
|
4862754 bytes
|
2025-10-28 07:01:08 |
|
📄 libcvc4-7_1.8-5_riscv64.deb
|
7272230 bytes
|
2025-10-28 23:13:48 |
|
📄 libcvc4-7_1.8-5_s390x.deb
|
5048762 bytes
|
2025-10-28 07:07:28 |
|
📄 libcvc4-dev_1.8-2_arm64.deb
|
123208 bytes
|
2020-09-30 16:43:33 |
|
📄 libcvc4-dev_1.8-2_armhf.deb
|
123208 bytes
|
2020-09-30 17:43:45 |
|
📄 libcvc4-dev_1.8-2_ppc64el.deb
|
123220 bytes
|
2020-09-30 15:58:37 |
|
📄 libcvc4-dev_1.8-2_riscv64.deb
|
123212 bytes
|
2020-09-30 19:03:33 |
|
📄 libcvc4-dev_1.8-2_s390x.deb
|
123212 bytes
|
2020-09-30 15:58:38 |
|
📄 libcvc4-dev_1.8-3build2_arm64.deb
|
125246 bytes
|
2024-04-02 01:07:28 |
|
📄 libcvc4-dev_1.8-3build2_armhf.deb
|
125254 bytes
|
2024-04-02 02:14:30 |
|
📄 libcvc4-dev_1.8-3build2_ppc64el.deb
|
125260 bytes
|
2024-04-02 05:58:58 |
|
📄 libcvc4-dev_1.8-3build2_riscv64.deb
|
125254 bytes
|
2024-04-04 01:07:35 |
|
📄 libcvc4-dev_1.8-3build2_s390x.deb
|
125254 bytes
|
2024-04-02 11:03:08 |
|
📄 libcvc4-dev_1.8-5_arm64.deb
|
125230 bytes
|
2025-10-28 06:36:54 |
|
📄 libcvc4-dev_1.8-5_armhf.deb
|
125238 bytes
|
2025-10-28 06:47:57 |
|
📄 libcvc4-dev_1.8-5_ppc64el.deb
|
125240 bytes
|
2025-10-28 07:01:08 |
|
📄 libcvc4-dev_1.8-5_riscv64.deb
|
125238 bytes
|
2025-10-28 23:13:48 |
|
📄 libcvc4-dev_1.8-5_s390x.deb
|
125182 bytes
|
2025-10-28 07:07:28 |
|
📄 libcvc4parser7_1.8-2_arm64.deb
|
318624 bytes
|
2020-09-30 16:43:33 |
|
📄 libcvc4parser7_1.8-2_armhf.deb
|
318988 bytes
|
2020-09-30 17:43:45 |
|
📄 libcvc4parser7_1.8-2_ppc64el.deb
|
346156 bytes
|
2020-09-30 15:58:38 |
|
📄 libcvc4parser7_1.8-2_riscv64.deb
|
339720 bytes
|
2020-09-30 19:03:33 |
|
📄 libcvc4parser7_1.8-2_s390x.deb
|
331804 bytes
|
2020-09-30 15:58:39 |
|
📄 libcvc4parser7_1.8-3build2_arm64.deb
|
353574 bytes
|
2024-04-02 01:07:28 |
|
📄 libcvc4parser7_1.8-3build2_armhf.deb
|
365508 bytes
|
2024-04-02 02:14:30 |
|
📄 libcvc4parser7_1.8-3build2_ppc64el.deb
|
383402 bytes
|
2024-04-02 05:58:58 |
|
📄 libcvc4parser7_1.8-3build2_riscv64.deb
|
386766 bytes
|
2024-04-04 01:07:35 |
|
📄 libcvc4parser7_1.8-3build2_s390x.deb
|
417302 bytes
|
2024-04-02 11:03:08 |
|
📄 libcvc4parser7_1.8-5_arm64.deb
|
367172 bytes
|
2025-10-28 06:36:54 |
|
📄 libcvc4parser7_1.8-5_armhf.deb
|
386318 bytes
|
2025-10-28 06:47:57 |
|
📄 libcvc4parser7_1.8-5_ppc64el.deb
|
397856 bytes
|
2025-10-28 07:01:08 |
|
📄 libcvc4parser7_1.8-5_riscv64.deb
|
415236 bytes
|
2025-10-28 23:13:48 |
|
📄 libcvc4parser7_1.8-5_s390x.deb
|
431618 bytes
|
2025-10-28 07:07:27 |