| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| cadical_1.7.4-1.debian.tar.xz | 15/02/24 12:2915/02/24 | 3.9 KiB | [Save][Download] |
| cadical_1.7.4-1.dsc | 15/02/24 12:2915/02/24 | 1.9 KiB | [Save][Download] |
| cadical_1.7.4-1_amd64.deb | 15/02/24 12:3015/02/24 | 454 KiB | [Save][Download] |
| cadical_1.7.4.orig.tar.gz | 15/02/24 12:2915/02/24 | 633 KiB | [Save][Download] |
| libcadical-dev_1.7.4-1_amd64.deb | 15/02/24 12:3015/02/24 | 376 KiB | [Save][Download] |