Ubuntu
matita package

Branches for Saucy

Name Status Last Modified Last Commit
lp://staging/ubuntu/saucy/matita 2 Mature 2013-04-26 15:09:10 UTC
25. * New upstream release * Removed pack...

Author: gares
Revision Date: 2012-05-06 20:35:57 UTC

* 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
1 → 1 of 1 result First • Previous • Next • Last