Changelog
alt-ergo (0.95.2-1) sid; urgency=low
* New upstream release.
* Update debian/watch, now points to ocamlpro site.
* Refresh patch 0001-No-need-to-activate-debug-flag.patch
* Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
the file test.mlw is no longer relevant.
* drop patches that have been applied by upstream:
- 0003-Fix-a-typo.patch
- 0004-Add-rules-and-targets-for-gui.byte.patch
- 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
- 0007-Fix-all-target.patch
- 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
- 0009-clean-remove-META.patch
* Add build-dependency on libzarith-ocaml-dev
* debian/rules:
- drop backup of .depend which is no longer needed
- drop overwrite for dh_auto_configure
- in dh_auto_build target, drop touching of configure
* debian/copyright:
- update Download field to ocamlpro
- Upstream Contact : add alt-ergo-bugs mailing list
- Update copyright holder and year for files *
- Put paragraphs into the right order
* install examples/ into /usr/share/doc/alt-ergo
* Standards-version 3.9.5 (no change)
-- Ralf Treinen <email address hidden> Sun, 17 Nov 2013 14:25:38 +0100