| ../ | | - | Directory |
| cadical-dbgsym_1.7.4-1_amd64.deb | 2025-Jul-15 09:05:03 | 9.8M | application/vnd.debian.binary-package |
| cadical-dbgsym_1.7.4-1_arm64.deb | 2025-Jul-15 09:05:25 | 9.6M | application/vnd.debian.binary-package |
| cadical-dbgsym_1.7.4-1_i386.deb | 2025-Jul-15 09:04:56 | 9.5M | application/vnd.debian.binary-package |
| cadical-dbgsym_1.7.4-1_loong64.deb | 2025-Jul-15 09:05:15 | 9.8M | application/vnd.debian.binary-package |
| cadical-dbgsym_1.7.4-1_riscv64.deb | 2025-Jul-15 09:05:13 | 8.2M | application/vnd.debian.binary-package |
| cadical_1.7.4-1.debian.tar.xz | 2025-Jul-18 06:31:11 | 3.8K | application/x-xz |
| cadical_1.7.4-1.dsc | 2025-Jul-18 06:31:11 | 1.0K | text/prs.lines.tag |
| cadical_1.7.4-1_amd64.deb | 2025-Jul-15 09:05:21 | 371.9K | application/vnd.debian.binary-package |
| cadical_1.7.4-1_arm64.deb | 2025-Jul-15 09:05:19 | 326.1K | application/vnd.debian.binary-package |
| cadical_1.7.4-1_i386.deb | 2025-Jul-15 09:05:09 | 407.2K | application/vnd.debian.binary-package |
| cadical_1.7.4-1_loong64.deb | 2025-Jul-15 09:05:00 | 358.1K | application/vnd.debian.binary-package |
| cadical_1.7.4-1_riscv64.deb | 2025-Jul-15 09:05:11 | 372.0K | application/vnd.debian.binary-package |
| cadical_1.7.4.orig.tar.gz | 2025-Jul-18 06:31:11 | 632.6K | application/x-gtar-compressed |
| libcadical-dev_1.7.4-1_amd64.deb | 2025-Jul-15 09:05:23 | 334.3K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1_arm64.deb | 2025-Jul-15 09:05:17 | 312.7K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1_i386.deb | 2025-Jul-15 09:04:58 | 377.5K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1_loong64.deb | 2025-Jul-15 09:05:05 | 1.5M | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1_riscv64.deb | 2025-Jul-15 09:05:07 | 1.2M | application/vnd.debian.binary-package |