summaryrefslogtreecommitdiff
path: root/dev-lang/mlton/files
ModeNameSize
-rw-r--r--mlton-20070826-no-execmem.patch1236logplain
-rw-r--r--mlton-20130715-no-PIE.patch2399logplain
-rw-r--r--mlton-20130715-split-make-for-pax-mark.patch556logplain