| .. |
| cadical_1.7.4-1.debian.tar.xz |
3960 |
2025-04-22T08:31:10.183Z |
| cadical_1.7.4-1.dsc |
1996 |
2025-04-22T08:31:10.956Z |
| cadical_1.7.4-1_amd64.deb |
464636 |
2025-04-22T08:31:11.544Z |
| cadical_1.7.4-1_arm64.deb |
441952 |
2026-04-02T05:20:21.525Z |
| cadical_1.7.4.orig.tar.gz |
647830 |
2025-04-22T08:31:12.148Z |
| cadical_2.1.3-2.debian.tar.xz |
4620 |
2025-12-16T00:04:08.508Z |
| cadical_2.1.3-2.dsc |
1996 |
2025-12-16T02:31:21.340Z |
| cadical_2.1.3-2_amd64.deb |
533164 |
2025-12-16T00:04:08.831Z |
| cadical_2.1.3-2_amd64v3.deb |
554216 |
2025-12-16T00:04:08.771Z |
| cadical_2.1.3-2_arm64.deb |
533324 |
2026-04-02T05:20:21.573Z |
| cadical_2.1.3.orig.tar.gz |
731545 |
2025-12-02T09:49:48.221Z |
| libcadical-dev_1.7.4-1_amd64.deb |
384528 |
2025-04-22T08:31:12.819Z |
| libcadical-dev_1.7.4-1_arm64.deb |
382694 |
2026-04-02T05:20:21.149Z |
| libcadical-dev_2.1.3-2_amd64.deb |
468078 |
2025-12-16T02:31:21.693Z |
| libcadical-dev_2.1.3-2_amd64v3.deb |
482160 |
2025-12-16T00:04:09.264Z |
| libcadical-dev_2.1.3-2_arm64.deb |
475216 |
2026-04-02T05:20:20.874Z |