Index of /macports/trunk/dports/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