Ubuntu

“matita” 0.99.1-1 source package in Ubuntu

Changelog

matita (0.99.1-1) unstable; urgency=low


  * New upstream release
  * Removed package matita-doc (doc is available via F1)
  * Switch to dh
  * Add matita.desktop
  * Remove the following patches (integrated upstream):
    - Fix-FTBFS-with-camlp5-6.05
    - matita.conf.xml.in
    - slist-sep
    - numbers
    - native-compilers
  * New patch 'configure' to avoid useless build-dep on mysql ocaml bindings
  * Cleanup debian 

 -- Enrico Tassi <email address hidden>  Sun, 06 May 2012 20:35:57 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2012-05-07
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Saucy release on 2013-04-25 universe math
Raring release on 2012-10-18 universe math
Quantal release on 2012-05-17 universe math

Downloads

File Size MD5 Checksum
matita_0.99.1-1.dsc 1.5 KiB b2cf1bae29c64e48586bc217b6af1a97
matita_0.99.1.orig.tar.gz 9.9 MiB 57b80c202f003c7bd7ab2c453070425a
matita_0.99.1-1.debian.tar.gz 4.3 KiB 9efa6ac21db7fcde7b246a0ae9c38209

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.