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
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | 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
- diff from 0.5.8-4 to 0.99.1-1 (4.5 MiB)
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.
