-
alt-ergo (2.0.0-3) unstable; urgency=medium
* Install files directly without going through dh_install
* d/rules:
- drop setting of BUILD_DATE which is no longer useful
- drop inclusion of ocamlvars.mk which is no longer useful
-- Ralf Treinen <email address hidden> Thu, 14 Feb 2019 04:21:22 +0100
-
alt-ergo (1.30+dfsg1-2) unstable; urgency=medium
* Since lablgtk2 does no longer build liblablgtksourceview2-ocaml-dev:
- d/rules: stop building gui
- drop build-dependencies on liblablgtk2-gnome-ocaml-dev and
liblablgtksourceview2-ocaml-dev
- drop mention of gui from the package description
- added d/NEWS entry about this
* Vcs-{Browser,Git}: switch to salsa
* d/watch: minor fix
* Standards-Version 4.2.1 (no change)
-- Ralf Treinen <email address hidden> Tue, 13 Nov 2018 20:43:44 +0100
-
alt-ergo (1.30+dfsg1-1) unstable; urgency=medium
* Repack source to exclude the non-free/ directory (closes: #883755).
* Patch ocplib-simplex-0.4: patch to compile with version 0.4 of
ocplib-simplex-ocaml-dev (closes: #882162).
* Standards-Version 4.1.2 (no change)
* debian/watch: drop pgpsigurlmangle
-- Ralf Treinen <email address hidden> Thu, 21 Dec 2017 20:01:21 +0100
-
alt-ergo (1.30-1) unstable; urgency=medium
* new upstream version:
- refreshed patch 0001-dont-activate-debug-flags
- refreshed patch 0002-non-free-dropped
- refreshed patch 0003-allow-set-build-date
- added build-dependency on ocplib-simplex-ocaml-dev, libzip-ocaml-dev,
and ocaml-findlib
* debhelper compatibility level 10:
- bumped build-dependency on debhelper
- bumped value in debian/compat
- debian/rules: sequence before options in dh invocation
* standards-version 3.9.8 (no change)
* debian/control: dropped redundant Testsuite
* updated Vcs-{Git,Browser}
* patch spelling: various upstream spelling errors
-- Ralf Treinen <email address hidden> Mon, 12 Dec 2016 19:58:57 +0100