summaryrefslogtreecommitdiff
path: root/lang/ocaml/patches
ModeNameSize
-rw-r--r--patch-Makefile4639logplain
-rw-r--r--patch-asmcomp_power_emit.mlp1082logplain
-rw-r--r--patch-asmrun_Makefile986logplain
-rw-r--r--patch-asmrun_power-bsd.S1876logplain
-rw-r--r--patch-asmrun_signals_osdep.h987logplain
-rw-r--r--patch-byterun_Makefile757logplain
-rw-r--r--patch-camlp4_man_Makefile599logplain
-rw-r--r--patch-configure5981logplain
-rw-r--r--patch-debugger_Makefile.shared516logplain
-rw-r--r--patch-man_Makefile642logplain
-rw-r--r--patch-ocamldoc_Makefile2509logplain
-rw-r--r--patch-otherlibs_Makefile.shared1266logplain
-rw-r--r--patch-otherlibs_dynlink_Makefile824logplain
-rw-r--r--patch-otherlibs_labltk_browser_Makefile.shared528logplain
-rw-r--r--patch-otherlibs_labltk_camltk_Makefile949logplain
-rw-r--r--patch-otherlibs_labltk_compiler_Makefile560logplain
-rw-r--r--patch-otherlibs_labltk_frx_Makefile587logplain
-rw-r--r--patch-otherlibs_labltk_jpf_Makefile680logplain
-rw-r--r--patch-otherlibs_labltk_labltk_Makefile958logplain
-rw-r--r--patch-otherlibs_labltk_lib_Makefile1594logplain
-rw-r--r--patch-otherlibs_labltk_support_Makefile1424logplain
-rw-r--r--patch-otherlibs_systhreads_Makefile1637logplain
-rw-r--r--patch-otherlibs_threads_Makefile1199logplain
-rw-r--r--patch-stdlib_Makefile868logplain
-rw-r--r--patch-stdlib_Makefile.shared560logplain
-rw-r--r--patch-tools_Makefile.shared1841logplain