Publishing details

• Removal requested on 2016-11-03.
• Published on 2014-04-23
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

matita (0.99.1-3) unstable; urgency=medium


  * Fix FTBFS w.r.t. lablgtk2 2.16 by updating findlinb name for gtksourceview
    (Closes: #731702) 
  * New patch to help the type checker in nCicUntrusted.set_kind

 -- Enrico Tassi <email address hidden>  Tue, 10 Dec 2013 20:15:50 +0100

Builds

Package files

• matita_0.99.1-3.debian.tar.gz (4.7 KiB)
• matita_0.99.1-3.dsc (1.5 KiB)
• matita_0.99.1-3_amd64.deb (2.4 MiB)
• matita_0.99.1-3_arm64.deb (6.8 MiB)
• matita_0.99.1-3_armhf.deb (2.4 MiB)
• matita_0.99.1-3_i386.deb (2.3 MiB)
• matita_0.99.1-3_powerpc.deb (2.1 MiB)
• matita_0.99.1-3_ppc64el.deb (6.8 MiB)
• matita_0.99.1.orig.tar.gz (9.9 MiB)