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

Name Size Date
📁 ../ - -
📄 0001-prefix.patch 352 bytes 2024-06-22 16:20:07
📄 0002-idris_support-fix-environ-for-macOS.patch 687 bytes 2024-06-22 16:20:07
📄 0003-idris_signal-fix-static_assert.patch 836 bytes 2024-06-22 16:20:07
📄 0004-idris2.ss-support-powerpc.patch 13567 bytes 2024-06-22 16:20:07
📄 0005-Chez.idr-support-macOS-PowerPC.patch 946 bytes 2024-06-22 16:20:07
📄 0006-ChezSep.idr-support-macOS-PowerPC.patch 1094 bytes 2024-06-22 16:20:07
📄 0007-chez-support.ss-support-macOS-PowerPC.patch 835 bytes 2024-06-24 20:03:30