Changelog
alt-ergo (0.99.1+dfsg1-1) experimental; urgency=medium
* New upstream version.
* debian/copyright: add Files-Excluded: non-free
* debian/watch: mangle suffix +dfsg\d*
* debian/rules:
- override for dh_auto_clean target: call "make clean" only
when config.status present
- override for dh_auto_install: drop install-pack target
* update debian patch 0001-No-need-to-activate-debug-flag which now applies
to the file Makefile.users
* new patch 0002-non-free-dropped: adapt Makefile.users to the removal of
the non-free directory.
* Drop the libalt-ergo-ocaml-dev binary package since upstream does no
longer support installation of development libraries.
* Standards-Version 3.9.6 (no change)
* Added DEP8-style package tests:
- debian/control: add XS-Testsuite field
- added debian/tests, with two test scripts on the examples installed with
the package.
-- Ralf Treinen <email address hidden> Wed, 31 Dec 2014 13:02:03 +0100
