/macports/trunk/dports/lang/idris2/files/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 0001-prefix.patch | 352 B | 2024-Jun-22 16:20 |
| 0002-idris_support-fix-environ-for-macOS.patch | 687 B | 2024-Jun-22 16:20 |
| 0007-chez-support.ss-support-macOS-PowerPC.patch | 835 B | 2024-Jun-24 20:03 |
| 0003-idris_signal-fix-static_assert.patch | 836 B | 2024-Jun-22 16:20 |
| 0005-Chez.idr-support-macOS-PowerPC.patch | 946 B | 2024-Jun-22 16:20 |
| 0006-ChezSep.idr-support-macOS-PowerPC.patch | 1.1 KiB | 2024-Jun-22 16:20 |
| 0004-idris2.ss-support-powerpc.patch | 13.2 KiB | 2024-Jun-22 16:20 |