Package: matita / 0.99.1-1

Metadata

Package Version Patches format
matita 0.99.1-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
configure | (download)

configure.ac | 1 0 + 1 - 0 !
1 file changed, 1 deletion(-)

---