KuronekoServer Mirror Server

📂cvc4

Name Size Last Modified
../ — —
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.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.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_arm64.deb 66 KiB 2020-09-30 16:43:33
cvc4_1.8-2_armhf.deb 66 KiB 2020-09-30 17:43:45
cvc4_1.8-2_ppc64el.deb 70 KiB 2020-09-30 15:58:37
cvc4_1.8-2_riscv64.deb 68 KiB 2020-09-30 19:03:33
cvc4_1.8-2_s390x.deb 67 KiB 2020-09-30 15:58:39
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_arm64.deb 70 KiB 2024-04-02 01:07:28
cvc4_1.8-3build2_armhf.deb 72 KiB 2024-04-02 02:14:31
cvc4_1.8-3build2_ppc64el.deb 75 KiB 2024-04-02 05:58:59
cvc4_1.8-3build2_riscv64.deb 75 KiB 2024-04-04 01:07:36
cvc4_1.8-3build2_s390x.deb 74 KiB 2024-04-02 11:03:08
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_arm64.deb 65 KiB 2025-10-28 06:36:54
cvc4_1.8-5_armhf.deb 70 KiB 2025-10-28 06:47:58
cvc4_1.8-5_ppc64el.deb 68 KiB 2025-10-28 07:01:09
cvc4_1.8-5_riscv64.deb 74 KiB 2025-10-28 23:13:48
cvc4_1.8-5_s390x.deb 68 KiB 2025-10-28 07:07:28
cvc4_1.8.orig.tar.gz 7.2 MiB 2020-09-30 15:43:39
libcvc4-7_1.8-2_arm64.deb 4.6 MiB 2020-09-30 16:43:33
libcvc4-7_1.8-2_armhf.deb 4.8 MiB 2020-09-30 17:43:45
libcvc4-7_1.8-2_ppc64el.deb 5.1 MiB 2020-09-30 15:58:38
libcvc4-7_1.8-2_riscv64.deb 5.2 MiB 2020-09-30 19:03:33
libcvc4-7_1.8-2_s390x.deb 5.2 MiB 2020-09-30 15:58:38
libcvc4-7_1.8-3build2_arm64.deb 4.1 MiB 2024-04-02 01:07:28
libcvc4-7_1.8-3build2_armhf.deb 5.9 MiB 2024-04-02 02:14:31
libcvc4-7_1.8-3build2_ppc64el.deb 4.5 MiB 2024-04-02 05:58:59
libcvc4-7_1.8-3build2_riscv64.deb 6.4 MiB 2024-04-04 01:07:36
libcvc4-7_1.8-3build2_s390x.deb 4.8 MiB 2024-04-02 11:03:08
libcvc4-7_1.8-5_arm64.deb 4.3 MiB 2025-10-28 06:36:54
libcvc4-7_1.8-5_armhf.deb 6.0 MiB 2025-10-28 06:47:57
libcvc4-7_1.8-5_ppc64el.deb 4.6 MiB 2025-10-28 07:01:08
libcvc4-7_1.8-5_riscv64.deb 6.9 MiB 2025-10-28 23:13:48
libcvc4-7_1.8-5_s390x.deb 4.8 MiB 2025-10-28 07:07:28
libcvc4-dev_1.8-2_arm64.deb 120 KiB 2020-09-30 16:43:33
libcvc4-dev_1.8-2_armhf.deb 120 KiB 2020-09-30 17:43:45
libcvc4-dev_1.8-2_ppc64el.deb 120 KiB 2020-09-30 15:58:37
libcvc4-dev_1.8-2_riscv64.deb 120 KiB 2020-09-30 19:03:33
libcvc4-dev_1.8-2_s390x.deb 120 KiB 2020-09-30 15:58:38
libcvc4-dev_1.8-3build2_arm64.deb 122 KiB 2024-04-02 01:07:28
libcvc4-dev_1.8-3build2_armhf.deb 122 KiB 2024-04-02 02:14:30
libcvc4-dev_1.8-3build2_ppc64el.deb 122 KiB 2024-04-02 05:58:58
libcvc4-dev_1.8-3build2_riscv64.deb 122 KiB 2024-04-04 01:07:35
libcvc4-dev_1.8-3build2_s390x.deb 122 KiB 2024-04-02 11:03:08
libcvc4-dev_1.8-5_arm64.deb 122 KiB 2025-10-28 06:36:54
libcvc4-dev_1.8-5_armhf.deb 122 KiB 2025-10-28 06:47:57
libcvc4-dev_1.8-5_ppc64el.deb 122 KiB 2025-10-28 07:01:08
libcvc4-dev_1.8-5_riscv64.deb 122 KiB 2025-10-28 23:13:48
libcvc4-dev_1.8-5_s390x.deb 122 KiB 2025-10-28 07:07:28
libcvc4parser7_1.8-2_arm64.deb 311 KiB 2020-09-30 16:43:33
libcvc4parser7_1.8-2_armhf.deb 312 KiB 2020-09-30 17:43:45
libcvc4parser7_1.8-2_ppc64el.deb 338 KiB 2020-09-30 15:58:38
libcvc4parser7_1.8-2_riscv64.deb 332 KiB 2020-09-30 19:03:33
libcvc4parser7_1.8-2_s390x.deb 324 KiB 2020-09-30 15:58:39
libcvc4parser7_1.8-3build2_arm64.deb 345 KiB 2024-04-02 01:07:28
libcvc4parser7_1.8-3build2_armhf.deb 357 KiB 2024-04-02 02:14:30
libcvc4parser7_1.8-3build2_ppc64el.deb 374 KiB 2024-04-02 05:58:58
libcvc4parser7_1.8-3build2_riscv64.deb 378 KiB 2024-04-04 01:07:35
libcvc4parser7_1.8-3build2_s390x.deb 408 KiB 2024-04-02 11:03:08
libcvc4parser7_1.8-5_arm64.deb 359 KiB 2025-10-28 06:36:54
libcvc4parser7_1.8-5_armhf.deb 377 KiB 2025-10-28 06:47:57
libcvc4parser7_1.8-5_ppc64el.deb 388 KiB 2025-10-28 07:01:08
libcvc4parser7_1.8-5_riscv64.deb 406 KiB 2025-10-28 23:13:48
libcvc4parser7_1.8-5_s390x.deb 422 KiB 2025-10-28 07:07:27