Package: matita / 0.99.1-3

Metadata

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

Patch series

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

configure.ac | 5 2 + 3 - 0 !
1 file changed, 2 insertions(+), 3 deletions(-)

 configure

===================================================================

0002 Help type checker for nCicUntrusted.set_kind.patch | (download)

components/ng_kernel/nCicUntrusted.ml | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 help type checker for ncicuntrusted.set_kind