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
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
matita_0.99.1-1.dsc 1.5 KiB 13c508864e59b521a10575de27e7fd471fbc3ae00a4ff6adadcd9fe31e79bc35
matita_0.99.1.orig.tar.gz 9.9 MiB 3a956835a6009c27057e59e06e84621d25ebd133ac72d362636d94dde8deb28e
matita_0.99.1-1.debian.tar.gz 4.3 KiB bee09aa09987097524351e04527715c5585e80139ca2298471d2170f5557ccfd

Available diffs

No changes file available.

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.