debian specific patch information for matita / 0.99.1-1

Summary

Package Version Package Type Source Package Format
0.99.1-1 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile matita_0.99.1-1.debian.tar.gz
Size4364
MD5sum9efa6ac21db7fcde7b246a0ae9c38209

"series" style patches

patch summary view raw
configure
 configure.ac |    1 -
 1 file changed, 1 deletion(-)
view download