Index of /macports/trunk/dports/lang/idris2/files

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[TXT]0001-prefix.patch2024-06-22 18:20 352
[TXT]0002-idris_support-fix-environ-for-macOS.patch2024-06-22 18:20 687
[TXT]0007-chez-support.ss-support-macOS-PowerPC.patch2024-06-24 22:03 835
[TXT]0003-idris_signal-fix-static_assert.patch2024-06-22 18:20 836
[TXT]0005-Chez.idr-support-macOS-PowerPC.patch2024-06-22 18:20 946
[TXT]0006-ChezSep.idr-support-macOS-PowerPC.patch2024-06-22 18:20 1.1K
[TXT]0004-idris2.ss-support-powerpc.patch2024-06-22 18:20 13K

Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443