/dev-lang/polyml/files/

• ../
• polyml-5.4.1-asm.patch
• polyml-5.4.1-configure.patch
• polyml-5.5.0-asm.patch
• polyml-5.5.0-configure.patch
• polyml-5.5.0-x-it-basis.patch
• polyml-5.5.1-inputN-return-for-zero-chars.patch
• polyml-5.5.1-mprotect-exec.patch
• polyml-5.5.1-optimize-closure.patch