| Name | Size | Last Modified |
|---|---|---|
| ../ | ||
| cadical_1.7.4-1+b1_amd64.deb | 386.81 KB | 5/4/2026, 4:29:35 PM |
| cadical_1.7.4-1+b1_arm64.deb | 339.27 KB | 5/4/2026, 4:29:35 PM |
| cadical_1.7.4-1.debian.tar.xz | 3.87 KB | 5/4/2026, 4:29:36 PM |
| cadical_1.7.4-1.dsc | 1.95 KB | 5/4/2026, 4:29:36 PM |
| cadical_1.7.4.orig.tar.gz | 632.65 KB | 5/4/2026, 4:29:36 PM |
| libcadical-dev_1.7.4-1+b1_amd64.deb | 343.86 KB | 5/4/2026, 4:52:29 PM |
| libcadical-dev_1.7.4-1+b1_arm64.deb | 324.96 KB | 5/4/2026, 4:52:29 PM |