/lang/twelf/files/

• ../
• patch-FreeBSD.mk
• patch-Makefile
• patch-bin-mkexec
• patch-doc-guide-Makefile
• patch-doc-guide-twelf.texi
• patch-mlton-Makefile
• patch-smlnj-Makefile