Index of /macports/trunk/dports/lang/idris2/files/

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