debian specific patch information for jocaml / 3.11.2.a-1

Summary

Package Version	Package Type	Source Package Format
3.11.2.a-1	Debian-diff	1.0

Debian packaging Information

Diff file	jocaml_3.11.2.a-1.diff.gz
Size	25032
MD5sum	ab81409598891aee989c243ce4a13272
./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

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

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo