|
📁 ../
|
- |
- |
|
📄 cadical_1.7.4-1.debian.tar.xz
|
3960 bytes
|
2024-02-15 12:29:55 |
|
📄 cadical_1.7.4-1.dsc
|
1996 bytes
|
2024-02-15 12:29:55 |
|
📄 cadical_1.7.4-1_arm64.deb
|
441952 bytes
|
2024-02-15 12:31:21 |
|
📄 cadical_1.7.4-1_armhf.deb
|
386740 bytes
|
2024-02-15 12:31:55 |
|
📄 cadical_1.7.4-1_ppc64el.deb
|
493010 bytes
|
2024-02-15 12:32:21 |
|
📄 cadical_1.7.4-1_riscv64.deb
|
449680 bytes
|
2024-02-15 15:44:01 |
|
📄 cadical_1.7.4-1_s390x.deb
|
540254 bytes
|
2024-02-15 12:32:39 |
|
📄 cadical_1.7.4.orig.tar.gz
|
647830 bytes
|
2024-02-15 12:29:55 |
|
📄 cadical_2.1.3-2.debian.tar.xz
|
4620 bytes
|
2025-12-15 17:22:41 |
|
📄 cadical_2.1.3-2.dsc
|
1996 bytes
|
2025-12-15 17:22:41 |
|
📄 cadical_2.1.3-2_arm64.deb
|
533324 bytes
|
2025-12-15 20:30:47 |
|
📄 cadical_2.1.3-2_armhf.deb
|
446702 bytes
|
2025-12-15 20:31:11 |
|
📄 cadical_2.1.3-2_ppc64el.deb
|
569002 bytes
|
2025-12-15 20:31:35 |
|
📄 cadical_2.1.3-2_riscv64.deb
|
523648 bytes
|
2025-12-16 04:20:33 |
|
📄 cadical_2.1.3-2_s390x.deb
|
611088 bytes
|
2025-12-15 20:32:07 |
|
📄 cadical_2.1.3-3.debian.tar.xz
|
4816 bytes
|
2026-05-15 11:28:24 |
|
📄 cadical_2.1.3-3.dsc
|
2000 bytes
|
2026-05-15 11:28:24 |
|
📄 cadical_2.1.3-3_arm64.deb
|
526206 bytes
|
2026-05-15 12:34:42 |
|
📄 cadical_2.1.3-3_armhf.deb
|
452460 bytes
|
2026-05-15 12:34:57 |
|
📄 cadical_2.1.3-3_ppc64el.deb
|
563056 bytes
|
2026-05-15 13:21:07 |
|
📄 cadical_2.1.3-3_riscv64.deb
|
535314 bytes
|
2026-05-15 17:03:44 |
|
📄 cadical_2.1.3-3_s390x.deb
|
609400 bytes
|
2026-05-15 13:21:21 |
|
📄 cadical_2.1.3.orig.tar.gz
|
731545 bytes
|
2025-12-02 08:17:07 |
|
📄 libcadical-dev_1.7.4-1_arm64.deb
|
382694 bytes
|
2024-02-15 12:31:21 |
|
📄 libcadical-dev_1.7.4-1_armhf.deb
|
384582 bytes
|
2024-02-15 12:31:55 |
|
📄 libcadical-dev_1.7.4-1_ppc64el.deb
|
431450 bytes
|
2024-02-15 12:32:21 |
|
📄 libcadical-dev_1.7.4-1_riscv64.deb
|
1661750 bytes
|
2024-02-15 15:44:01 |
|
📄 libcadical-dev_1.7.4-1_s390x.deb
|
428362 bytes
|
2024-02-15 12:32:39 |
|
📄 libcadical-dev_2.1.3-2_arm64.deb
|
475216 bytes
|
2025-12-15 20:30:46 |
|
📄 libcadical-dev_2.1.3-2_armhf.deb
|
459110 bytes
|
2025-12-15 20:31:11 |
|
📄 libcadical-dev_2.1.3-2_ppc64el.deb
|
523746 bytes
|
2025-12-15 20:31:35 |
|
📄 libcadical-dev_2.1.3-2_riscv64.deb
|
2605994 bytes
|
2025-12-16 04:20:33 |
|
📄 libcadical-dev_2.1.3-2_s390x.deb
|
509196 bytes
|
2025-12-15 20:32:07 |
|
📄 libcadical-dev_2.1.3-3_arm64.deb
|
484448 bytes
|
2026-05-15 12:34:42 |
|
📄 libcadical-dev_2.1.3-3_armhf.deb
|
462394 bytes
|
2026-05-15 12:34:57 |
|
📄 libcadical-dev_2.1.3-3_ppc64el.deb
|
535664 bytes
|
2026-05-15 13:21:07 |
|
📄 libcadical-dev_2.1.3-3_riscv64.deb
|
2640710 bytes
|
2026-05-15 17:03:44 |
|
📄 libcadical-dev_2.1.3-3_s390x.deb
|
530576 bytes
|
2026-05-15 13:21:21 |