| c | File Name | Size | T | Date |
|---|---|---|---|---|
| - | cadical_1.7.4-1+b1_amd64.deb | 396096 | deb | 2024-10-28 16:02:51 |
| - | cadical_1.7.4-1+b1_i386.deb | 429168 | deb | 2024-10-28 16:19:37 |
| - | cadical_1.7.4-1.debian.tar.xz | 3960 | xz | 2024-02-11 04:22:20 |
| - | cadical_1.7.4-1.dsc | 1996 | dsc | 2024-02-11 04:22:20 |
| - | cadical_1.7.4.orig.tar.gz | 647830 | gz | 2024-02-11 04:22:20 |
| - | libcadical-dev_1.7.4-1+b1_amd64.deb | 352116 | deb | 2024-10-28 16:02:51 |
| - | libcadical-dev_1.7.4-1+b1_i386.deb | 394956 | deb | 2024-10-28 16:19:37 |