Change logs for matita source package in Saucy

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