| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cadical-configure.patch | 380 B | 2022-Sep-12 21:10 |
| cadical-makefile-in-respect-ar-2.0.0.patch | 363 B | 2024-Jun-27 17:11 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cadical-configure.patch | 380 B | 2022-Sep-12 21:10 |
| cadical-makefile-in-respect-ar-2.0.0.patch | 363 B | 2024-Jun-27 17:11 |