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

../
0001-prefix.patch                                  26-Aug-2026 08:34                 352
0002-use-memalign.patch                            26-Aug-2026 08:34                1856
patch-fix-memoryManagement.c                       26-Aug-2026 08:34                1856