drwxr-xr-x | .. | ||
-rw-r--r-- | 1657 | Makefile-fedora-mingw.in | blob | history | raw |
-rw-r--r-- | 6095 | mingw32-ocaml-3.11.0+beta1-combined-Makefile.patch | blob | history | raw |
-rw-r--r-- | 1217 | mingw32-ocaml-3.11.0+beta1-disable-cmxs.patch | blob | history | raw |
-rw-r--r-- | 798 | mingw32-ocaml-3.11.0+beta1-filename-win32-dirsep.patch | blob | history | raw |
-rw-r--r-- | 634 | mingw32-ocaml-3.11.0+beta1-i386-profiling.patch | blob | history | raw |
-rw-r--r-- | 852 | mingw32-ocaml-3.11.0+beta1-no-stdlib-dir.patch | blob | history | raw |
-rw-r--r-- | 1659 | mingw32-ocaml-3.11.0+beta1-win32-fixes.patch | blob | history | raw |
-rw-r--r-- | 2278 | mingw32-ocaml-3.11.0+beta1-win32unix-path.patch | blob | history | raw |
-rw-r--r-- | 4533 | mingw32-ocaml.spec | blob | history | raw |