/lang/polyml/patches/

• ../
• patch-configure
• patch-configure.ac
• patch-libpolyml_elfexport.cpp
• patch-modules_IntInfAsInt_Makefile.in