| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| 0001-prefix.patch | 352 | 22-Jun-2024 16:20 |
| 0002-idris_support-fix-environ-for-macOS.patch | 687 | 22-Jun-2024 16:20 |
| 0003-idris_signal-fix-static_assert.patch | 836 | 22-Jun-2024 16:20 |
| 0004-idris2.ss-support-powerpc.patch | 13K | 22-Jun-2024 16:20 |
| 0005-Chez.idr-support-macOS-PowerPC.patch | 946 | 22-Jun-2024 16:20 |
| 0006-ChezSep.idr-support-macOS-PowerPC.patch | 1094 | 22-Jun-2024 16:20 |
| 0007-chez-support.ss-support-macOS-PowerPC.patch | 835 | 24-Jun-2024 20:03 |