files

0 directories 7 files

Name	Size	Modified
Up
0001-prefix.patch	352 B	06/22/2024 04:20:07 PM +00:00
0002-idris_support-fix-environ-for-macOS.patch	687 B	06/22/2024 04:20:07 PM +00:00
0003-idris_signal-fix-static_assert.patch	836 B	06/22/2024 04:20:07 PM +00:00
0004-idris2.ss-support-powerpc.patch	13 KiB	06/22/2024 04:20:07 PM +00:00
0005-Chez.idr-support-macOS-PowerPC.patch	946 B	06/22/2024 04:20:07 PM +00:00
0006-ChezSep.idr-support-macOS-PowerPC.patch	1.1 KiB	06/22/2024 04:20:07 PM +00:00
0007-chez-support.ss-support-macOS-PowerPC.patch	835 B	06/24/2024 08:03:30 PM +00:00