debian specific patch information for jocaml / 3.12.1-1

Summary

Package Version Package Type Source Package Format
3.12.1-1 Debian-diff 1.0

Debian packaging Information

Diff file jocaml_3.12.1-1.diff.gz
Size27899
MD5suma3f9e85e9dba0a6ead0b4aa85bcd7b0f
./debian only changes view download

"series" style patches

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