Package: matita / 0.99.3-1

Metadata

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

Patch series

view the series file
Patch File delta Description
0001 remove dependency on mysql.patch | (download)

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

 remove dependency on mysql