summaryrefslogtreecommitdiff
path: root/lang/ocaml/patches
ModeNameSize
-rw-r--r--patch-Makefile4703logplain
-rw-r--r--patch-asmcomp_power_emit.mlp1082logplain
-rw-r--r--patch-asmrun_Makefile1050logplain
-rw-r--r--patch-asmrun_arm.S341logplain
-rw-r--r--patch-asmrun_power-bsd.S3275logplain
-rw-r--r--patch-asmrun_signals_osdep.h1040logplain
-rw-r--r--patch-byterun_Makefile785logplain
-rw-r--r--patch-config_auto__aux_gethostbyaddr.c477logplain
-rw-r--r--patch-config_auto__aux_gethostbyname.c477logplain
-rw-r--r--patch-configure8553logplain
-rw-r--r--patch-debugger_Makefile.shared532logplain
-rw-r--r--patch-man_Makefile590logplain
-rw-r--r--patch-ocamldoc_Makefile2840logplain
-rw-r--r--patch-otherlibs_Makefile646logplain
-rw-r--r--patch-otherlibs_Makefile.shared1389logplain
-rw-r--r--patch-otherlibs_dynlink_Makefile849logplain
-rw-r--r--patch-otherlibs_systhreads_Makefile1743logplain
-rw-r--r--patch-otherlibs_threads_Makefile1096logplain
-rw-r--r--patch-stdlib_Makefile896logplain
-rw-r--r--patch-stdlib_Makefile.shared549logplain
-rw-r--r--patch-tools_Makefile.shared2090logplain
-rw-r--r--patch-tools_ocamlmklib2068logplain