Index of /MacPorts/release/ports/lang/idris2/files/


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