debian specific patch information for matita / 0.5.7-2

Summary

Package Version	Package Type	Source Package Format
0.5.7-2	Debian-diff	1.0

"Debian diff" Information

Diff file	matita_0.5.7-2.diff.gz
Size	5016
MD5sum	f410732292c91db1e1b1d1fb390f83a3
./debian only changes	view	download

"series" style patches

patch	summary	view	raw
matita.conf.xml.in.dpatch	matita/matita.conf.xml.in \| 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-)	view	download
numbers.dpatch	components/cic_disambiguation/number_notation.ml \| 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)	view	download
native-compilers.dpatch	Makefile.defs.in \| 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-)	view	download

patch

summary

view

raw

matita.conf.xml.in.dpatch

 matita/matita.conf.xml.in |    9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

view

download

numbers.dpatch

 components/cic_disambiguation/number_notation.ml |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

view

download

native-compilers.dpatch

 Makefile.defs.in |   12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

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