| patch |
summary |
view |
raw |
| 0001-Replace-Otyp_proc-with-Otyp_stuff-to-make-outcometre.patch |
typing/oprint.ml | 1 -
typing/outcometree.mli | 1 -
typing/printtyp.ml | 2 +-
3 files changed, 1 insertion(+), 3 deletions(-)
|
view
|
download
|
| 0002-Add-option-v-to-expunge-to-select-modules-to-filter-.patch |
toplevel/expunge.ml | 22 ++++++++++++++--------
1 file changed, 14 insertions(+), 8 deletions(-)
|
view
|
download
|
| 0003-Natdynlink-works-on-powerpc-and-hurd-i386.patch |
configure | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
|
view
|
download
|
| 0004-ocamlopt-arm-add-.type-directive-for-code-symbols.patch |
asmcomp/arm/emit.mlp | 1 +
asmrun/arm.S | 12 ++++++++++++
2 files changed, 13 insertions(+)
|
view
|
download
|
| 0005-Add-support-for-ENOTSUP.patch |
otherlibs/unix/unixsupport.c | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
|
view
|
download
|
| 0006-Do-not-add-R-dir-in-X11-link-options-on-GNU-kFreeBSD.patch |
configure | 1 +
1 file changed, 1 insertion(+)
|
view
|
download
|