| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| cadical_1.5.3-2.debian.tar.xz | 15/11/22 05:1815/11/22 | 2.9 KiB | [Save][Download] |
| cadical_1.5.3-2.dsc | 15/11/22 05:1815/11/22 | 1.9 KiB | [Save][Download] |
| cadical_1.5.3-2_amd64.deb | 15/11/22 05:2915/11/22 | 352 KiB | [Save][Download] |
| cadical_1.5.3.orig.tar.gz | 06/11/22 04:3306/11/22 | 582 KiB | [Save][Download] |
| libcadical-dev_1.5.3-2_amd64.deb | 15/11/22 05:2915/11/22 | 311 KiB | [Save][Download] |
| 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] |