| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cadical-configure.patch | 380 B | 2022년 09월 13일 12시 10분 |
| cadical-makefile-in-respect-ar-2.0.0.patch | 363 B | 2024년 06월 28일 08시 11분 |
| cadical-makefile.in-ar.patch | 323 B | 2021년 12월 29일 03시 09분 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cadical-configure.patch | 380 B | 2022년 09월 13일 12시 10분 |
| cadical-makefile-in-respect-ar-2.0.0.patch | 363 B | 2024년 06월 28일 08시 11분 |
| cadical-makefile.in-ar.patch | 323 B | 2021년 12월 29일 03시 09분 |