Ubuntu

“matita” 0.99.1-3 source package in Ubuntu

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

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-12-11
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release on 2013-12-24 universe math

Downloads

File Size MD5 Checksum
matita_0.99.1-3.dsc 1.5 KiB bc15703f51f9c12390435f2aeb0f8714
matita_0.99.1.orig.tar.gz 9.9 MiB 57b80c202f003c7bd7ab2c453070425a
matita_0.99.1-3.debian.tar.gz 4.7 KiB 2c9f820e35b6649009782f50b9186f46

Available diffs

Binary packages built by this source

matita: interactive theorem prover

 Matita is a graphical interactive theorem prover based on the Calculus of
 (Co)Inductive Constructions.