Index of /sites/rsync.macports.org/release/ports/lang/idris2/files/

 Name                                                 Last modified      Size  
 Parent Directory                                                          -   
 0001-prefix.patch                                    2024-06-22 17:20  352   
 0002-idris_support-fix-environ-for-macOS.patch       2024-06-22 17:20  687   
 0003-idris_signal-fix-static_assert.patch            2024-06-22 17:20  836   
 0004-idris2.ss-support-powerpc.patch                 2024-06-22 17:20   13K  
 0005-Chez.idr-support-macOS-PowerPC.patch            2024-06-22 17:20  946   
 0006-ChezSep.idr-support-macOS-PowerPC.patch         2024-06-22 17:20  1.1K  
 0007-chez-support.ss-support-macOS-PowerPC.patch     2024-06-24 21:03  835