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