| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cadical-configure.patch | 380 B | 2022-Sep-13 12:10 |
| cadical-makefile-in-respect-ar-2.0.0.patch | 363 B | 2024-Jun-28 08:11 |
| cadical-makefile.in-ar.patch | 323 B | 2021-Dec-29 03:09 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cadical-configure.patch | 380 B | 2022-Sep-13 12:10 |
| cadical-makefile-in-respect-ar-2.0.0.patch | 363 B | 2024-Jun-28 08:11 |
| cadical-makefile.in-ar.patch | 323 B | 2021-Dec-29 03:09 |