| Parent Directory | - | - | - |
| cadical_1.7.4-1.debian.tar.xz | 2024-02-15 12:29 | 3960 | - |
| cadical_1.7.4-1.dsc | 2024-02-15 12:29 | 1996 | - |
| cadical_1.7.4-1_amd64.deb | 2024-02-15 12:30 | 464636 | - |
| cadical_1.7.4-1_arm64.deb | 2024-02-15 12:31 | 441952 | - |
| cadical_1.7.4.orig.tar.gz | 2024-02-15 12:29 | 647830 | - |
| cadical_2.1.3-2.debian.tar.xz | 2025-12-15 17:22 | 4620 | - |
| cadical_2.1.3-2.dsc | 2025-12-15 17:22 | 1996 | - |
| cadical_2.1.3-2_amd64.deb | 2025-12-15 20:29 | 533164 | - |
| cadical_2.1.3-2_amd64v3.deb | 2025-12-15 20:30 | 554216 | - |
| cadical_2.1.3-2_arm64.deb | 2025-12-15 20:30 | 533324 | - |
| cadical_2.1.3-3.debian.tar.xz | 2026-05-15 11:28 | 4816 | - |
| cadical_2.1.3-3.dsc | 2026-05-15 11:28 | 2000 | - |
| cadical_2.1.3-3_amd64.deb | 2026-05-15 12:15 | 531868 | - |
| cadical_2.1.3-3_amd64v3.deb | 2026-05-15 12:15 | 549360 | - |
| cadical_2.1.3-3_arm64.deb | 2026-05-15 12:34 | 526206 | - |
| cadical_2.1.3.orig.tar.gz | 2025-12-02 08:17 | 731545 | - |
| libcadical-dev_1.7.4-1_amd64.deb | 2024-02-15 12:30 | 384528 | - |
| libcadical-dev_1.7.4-1_arm64.deb | 2024-02-15 12:31 | 382694 | - |
| libcadical-dev_2.1.3-2_amd64.deb | 2025-12-15 20:29 | 468078 | - |
| libcadical-dev_2.1.3-2_amd64v3.deb | 2025-12-15 20:30 | 482160 | - |
| libcadical-dev_2.1.3-2_arm64.deb | 2025-12-15 20:30 | 475216 | - |
| libcadical-dev_2.1.3-3_amd64.deb | 2026-05-15 12:15 | 477782 | - |
| libcadical-dev_2.1.3-3_amd64v3.deb | 2026-05-15 12:15 | 493854 | - |
| libcadical-dev_2.1.3-3_arm64.deb | 2026-05-15 12:34 | 484448 | - |