| Filename | Modified | Size | Type |
|---|---|---|---|
| [Parent Directory] | - | - | - |
| cadical_1.7.4-1_amd64.deb | 15/02/24 12:3015/02/24 | 454 KiB | [Save][Download] |
| libcadical-dev_1.7.4-1_amd64.deb | 15/02/24 12:3015/02/24 | 376 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.orig.tar.gz | 15/02/24 12:2915/02/24 | 633 KiB | [Save][Download] |
| cadical_2.1.3.orig.tar.gz | 02/12/25 08:1702/12/25 | 714 KiB | [Save][Download] |
| cadical_2.1.3-2.debian.tar.xz | 15/12/25 17:2215/12/25 | 4.5 KiB | [Save][Download] |
| cadical_2.1.3-2.dsc | 15/12/25 17:2215/12/25 | 1.9 KiB | [Save][Download] |
| cadical_2.1.3-2_amd64.deb | 15/12/25 20:2915/12/25 | 521 KiB | [Save][Download] |
| cadical_2.1.3-2_amd64v3.deb | 15/12/25 20:3015/12/25 | 541 KiB | [Save][Download] |
| libcadical-dev_2.1.3-2_amd64.deb | 15/12/25 20:2915/12/25 | 457 KiB | [Save][Download] |
| libcadical-dev_2.1.3-2_amd64v3.deb | 15/12/25 20:3015/12/25 | 471 KiB | [Save][Download] |