Parent directory/ | - | - |
cvc4_1.8-3.dsc | 2244 | 2022-Oct-29 19:57 |
cvc4_1.8-2.dsc | 2275 | 2020-Sep-18 01:25 |
cvc4_1.6-2.dsc | 2652 | 2018-Aug-13 20:01 |
cvc4_1.6-2.debian.tar.xz | 8232 | 2018-Aug-13 20:01 |
cvc4_1.8-2.debian.tar.xz | 16456 | 2020-Sep-18 01:25 |
cvc4_1.8-3.debian.tar.xz | 16728 | 2022-Oct-29 19:57 |
cvc4_1.8-3_mips64el.deb | 73904 | 2022-Oct-30 01:59 |
cvc4_1.8-2_mips64el.deb | 74064 | 2020-Sep-18 08:01 |
cvc4_1.8-3_mipsel.deb | 74096 | 2022-Oct-29 22:12 |
cvc4_1.8-3_armel.deb | 74128 | 2022-Oct-29 21:57 |
cvc4_1.8-2_armel.deb | 74320 | 2020-Sep-18 04:29 |
cvc4_1.8-2_mipsel.deb | 74388 | 2020-Sep-18 05:44 |
cvc4_1.8-3+b3_mips64el.deb | 74864 | 2024-Mar-25 13:15 |
cvc4_1.8-3_armhf.deb | 75108 | 2022-Oct-29 21:47 |
cvc4_1.8-3+b3_armel.deb | 75264 | 2024-Mar-28 21:13 |
cvc4_1.8-3_arm64.deb | 75564 | 2022-Oct-29 21:47 |
cvc4_1.8-2_armhf.deb | 75652 | 2020-Sep-18 02:32 |
cvc4_1.8-3_s390x.deb | 75768 | 2022-Oct-29 21:39 |
cvc4_1.8-2_s390x.deb | 76024 | 2020-Sep-18 07:10 |
cvc4_1.8-2_arm64.deb | 76064 | 2020-Sep-18 02:27 |
cvc4_1.8-3+b3_armhf.deb | 76372 | 2024-Mar-28 13:54 |
cvc4_1.8-3+b3_arm64.deb | 76460 | 2024-Mar-24 12:33 |
cvc4_1.8-3+b3_riscv64.deb | 79212 | 2024-Mar-25 04:54 |
cvc4_1.8-3+b3_s390x.deb | 79856 | 2024-Mar-24 10:44 |
cvc4_1.8-2_ppc64el.deb | 80124 | 2020-Sep-18 02:11 |
cvc4_1.8-3_ppc64el.deb | 80404 | 2022-Oct-29 21:42 |
cvc4_1.8-3_amd64.deb | 80688 | 2022-Oct-29 21:29 |
cvc4_1.8-3+b3_ppc64el.deb | 80760 | 2024-Mar-24 09:46 |
cvc4_1.8-2_amd64.deb | 81488 | 2020-Sep-18 02:11 |
cvc4_1.8-3+b3_amd64.deb | 82420 | 2024-Mar-24 10:12 |
cvc4_1.8-2_i386.deb | 82548 | 2020-Sep-18 02:42 |
cvc4_1.8-3_i386.deb | 82652 | 2022-Oct-29 21:23 |
cvc4_1.8-3+b3_i386.deb | 84256 | 2024-Mar-24 10:18 |
libcvc4-dev_1.8-3_armel.deb | 131104 | 2022-Oct-29 21:57 |
libcvc4-dev_1.8-3_s390x.deb | 131112 | 2022-Oct-29 21:39 |
libcvc4-dev_1.8-3_amd64.deb | 131112 | 2022-Oct-29 21:29 |
libcvc4-dev_1.8-3_i386.deb | 131112 | 2022-Oct-29 21:23 |
libcvc4-dev_1.8-3_mipsel.deb | 131112 | 2022-Oct-29 22:12 |
libcvc4-dev_1.8-3_armhf.deb | 131116 | 2022-Oct-29 21:47 |
libcvc4-dev_1.8-3_arm64.deb | 131120 | 2022-Oct-29 21:47 |
libcvc4-dev_1.8-3_ppc64el.deb | 131120 | 2022-Oct-29 21:42 |
libcvc4-dev_1.8-3_mips64el.deb | 131124 | 2022-Oct-30 01:59 |
libcvc4-dev_1.8-2_armel.deb | 131248 | 2020-Sep-18 04:29 |
libcvc4-dev_1.8-2_i386.deb | 131252 | 2020-Sep-18 02:42 |
libcvc4-dev_1.8-2_armhf.deb | 131256 | 2020-Sep-18 02:32 |
libcvc4-dev_1.8-2_mipsel.deb | 131256 | 2020-Sep-18 05:44 |
libcvc4-dev_1.8-2_ppc64el.deb | 131256 | 2020-Sep-18 02:11 |
libcvc4-dev_1.8-2_mips64el.deb | 131260 | 2020-Sep-18 08:01 |
libcvc4-dev_1.8-2_amd64.deb | 131264 | 2020-Sep-18 02:11 |
libcvc4-dev_1.8-2_s390x.deb | 131264 | 2020-Sep-18 07:10 |
libcvc4-dev_1.8-2_arm64.deb | 131268 | 2020-Sep-18 02:27 |
libcvc4-dev_1.8-3+b3_i386.deb | 131360 | 2024-Mar-24 10:18 |
libcvc4-dev_1.8-3+b3_arm64.deb | 131400 | 2024-Mar-24 12:33 |
libcvc4-dev_1.8-3+b3_armhf.deb | 131404 | 2024-Mar-28 13:54 |
libcvc4-dev_1.8-3+b3_amd64.deb | 131408 | 2024-Mar-24 10:12 |
libcvc4-dev_1.8-3+b3_riscv64.deb | 131412 | 2024-Mar-25 04:54 |
libcvc4-dev_1.8-3+b3_s390x.deb | 131416 | 2024-Mar-24 10:44 |
libcvc4-dev_1.8-3+b3_mips64el.deb | 131420 | 2024-Mar-25 13:15 |
libcvc4-dev_1.8-3+b3_armel.deb | 131424 | 2024-Mar-28 21:13 |
libcvc4-dev_1.8-3+b3_ppc64el.deb | 131440 | 2024-Mar-24 09:46 |
cvc4_1.6-2+b1_amd64.deb | 136244 | 2018-Nov-17 09:57 |
cvc4_1.6-2+b1_i386.deb | 139464 | 2018-Nov-17 02:59 |
libcvc4parser7_1.8-3+b3_mips64el.deb | 300908 | 2024-Mar-25 13:15 |
libcvc4parser7_1.8-3_mips64el.deb | 303136 | 2022-Oct-30 01:59 |
libcvc4parser7_1.8-2_mips64el.deb | 303980 | 2020-Sep-18 08:01 |
libcvc4parser7_1.8-2_mipsel.deb | 305504 | 2020-Sep-18 05:44 |
libcvc4parser7_1.8-3_mipsel.deb | 310600 | 2022-Oct-29 22:12 |
libcvc4parser7_1.8-3_armel.deb | 317304 | 2022-Oct-29 21:57 |
libcvc4parser7_1.8-3+b3_armel.deb | 320384 | 2024-Mar-28 21:13 |
libcvc4parser7_1.8-3+b3_arm64.deb | 321428 | 2024-Mar-24 12:33 |
libcvc4parser7_1.8-3_arm64.deb | 322668 | 2022-Oct-29 21:47 |
libcvc4parser7_1.8-3_s390x.deb | 323124 | 2022-Oct-29 21:39 |
libcvc4parser7_1.8-2_armel.deb | 323824 | 2020-Sep-18 04:29 |
libcvc4parser7_1.8-2_s390x.deb | 323892 | 2020-Sep-18 07:10 |
libcvc4parser7_1.8-2_armhf.deb | 328140 | 2020-Sep-18 02:32 |
libcvc4parser7_1.8-2_arm64.deb | 328200 | 2020-Sep-18 02:27 |
libcvc4parser7_1.8-3_armhf.deb | 329652 | 2022-Oct-29 21:47 |
libcvc4parser7_1.8-3+b3_armhf.deb | 330004 | 2024-Mar-28 13:54 |
libcvc4parser7_1.8-3+b3_ppc64el.deb | 352760 | 2024-Mar-24 09:46 |
libcvc4parser7_1.8-3+b3_riscv64.deb | 353528 | 2024-Mar-25 04:54 |
libcvc4parser7_1.8-3_ppc64el.deb | 356100 | 2022-Oct-29 21:42 |
libcvc4parser7_1.8-2_ppc64el.deb | 358484 | 2020-Sep-18 02:11 |
libcvc4parser7_1.8-3_amd64.deb | 362304 | 2022-Oct-29 21:29 |
libcvc4parser5_1.6-2+b1_amd64.deb | 362516 | 2018-Nov-17 09:57 |
libcvc4parser7_1.8-3+b3_amd64.deb | 365528 | 2024-Mar-24 10:12 |
libcvc4parser7_1.8-2_amd64.deb | 366212 | 2020-Sep-18 02:11 |
libcvc4parser7_1.8-3+b3_s390x.deb | 380588 | 2024-Mar-24 10:44 |
libcvc4parser7_1.8-2_i386.deb | 382484 | 2020-Sep-18 02:42 |
libcvc4parser7_1.8-3_i386.deb | 387704 | 2022-Oct-29 21:23 |
libcvc4parser5_1.6-2+b1_i386.deb | 389524 | 2018-Nov-17 02:59 |
libcvc4parser7_1.8-3+b3_i386.deb | 393812 | 2024-Mar-24 10:18 |
libcvc4-5_1.6-2+b1_amd64.deb | 4056556 | 2018-Nov-17 09:57 |
libcvc4-7_1.8-2_mips64el.deb | 4137100 | 2020-Sep-18 08:01 |
libcvc4-7_1.8-2_mipsel.deb | 4270692 | 2020-Sep-18 05:44 |
libcvc4-7_1.8-3_mips64el.deb | 4441684 | 2022-Oct-30 01:59 |
libcvc4-7_1.8-3+b3_mips64el.deb | 4446680 | 2024-Mar-25 13:15 |
libcvc4-5_1.6-2+b1_i386.deb | 4507864 | 2018-Nov-17 02:59 |
libcvc4-7_1.8-3_mipsel.deb | 4571148 | 2022-Oct-29 22:12 |
libcvc4-7_1.8-2_arm64.deb | 4783836 | 2020-Sep-18 02:27 |
libcvc4-7_1.8-2_armel.deb | 4871636 | 2020-Sep-18 04:29 |
libcvc4-7_1.8-2_armhf.deb | 4989728 | 2020-Sep-18 02:32 |
libcvc4-7_1.8-3_arm64.deb | 4997468 | 2022-Oct-29 21:47 |
libcvc4-7_1.8-2_s390x.deb | 5067456 | 2020-Sep-18 07:10 |
libcvc4-7_1.8-3+b3_arm64.deb | 5070564 | 2024-Mar-24 12:33 |
libcvc4-7_1.8-3_armel.deb | 5225988 | 2022-Oct-29 21:57 |
libcvc4-7_1.8-3+b3_armel.deb | 5280432 | 2024-Mar-28 21:13 |
libcvc4-7_1.8-3_armhf.deb | 5299080 | 2022-Oct-29 21:47 |
libcvc4-7_1.8-3_s390x.deb | 5327356 | 2022-Oct-29 21:39 |
libcvc4-7_1.8-3+b3_armhf.deb | 5345408 | 2024-Mar-28 13:54 |
libcvc4-7_1.8-2_ppc64el.deb | 5351636 | 2020-Sep-18 02:11 |
libcvc4-7_1.8-2_amd64.deb | 5651716 | 2020-Sep-18 02:11 |
libcvc4-7_1.8-3_ppc64el.deb | 5652044 | 2022-Oct-29 21:42 |
libcvc4-7_1.8-3+b3_ppc64el.deb | 5657596 | 2024-Mar-24 09:46 |
libcvc4-7_1.8-3_amd64.deb | 5936792 | 2022-Oct-29 21:29 |
libcvc4-7_1.8-3+b3_amd64.deb | 5991868 | 2024-Mar-24 10:12 |
libcvc4-7_1.8-3+b3_riscv64.deb | 6027084 | 2024-Mar-25 04:54 |
libcvc4-7_1.8-3+b3_s390x.deb | 6101396 | 2024-Mar-24 10:44 |
libcvc4-7_1.8-2_i386.deb | 6152812 | 2020-Sep-18 02:42 |
libcvc4-7_1.8-3_i386.deb | 6700704 | 2022-Oct-29 21:23 |
libcvc4-7_1.8-3+b3_i386.deb | 6701640 | 2024-Mar-24 10:18 |
libcvc4-dev_1.6-2+b1_amd64.deb | 6718020 | 2018-Nov-17 09:57 |
libcvc4-dev_1.6-2+b1_i386.deb | 7208884 | 2018-Nov-17 02:59 |
cvc4_1.8.orig.tar.gz | 7547187 | 2020-Sep-13 23:17 |
cvc4_1.6.orig.tar.gz | 7815893 | 2018-Aug-07 19:44 |