matita_0.99.1-1_amd64.changes ACCEPTED into unstable
Accepted:
matita_0.99.1-1.debian.tar.gz
to main/m/matita/matita_0.99.1-1.debian.tar.gz
matita_0.99.1-1.dsc
to main/m/matita/matita_0.99.1-1.dsc
matita_0.99.1-1_amd64.deb
to main/m/matita/matita_0.99.1-1_amd64.deb
matita_0.99.1.orig.tar.gz
to main/m/matita/matita_0.99.1.orig.tar.gz
Changes:
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
Override entries for your package:
matita_0.99.1-1.dsc - source math
matita_0.99.1-1_amd64.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: