-
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
-
alt-ergo (1.01-1) unstable; urgency=medium
* new upstream version. Refreshed patches.
* debian/watch: version 4. Add option pgpsigurlmangle.
* standards-version 3.9.7 (no change)
* bump version of build-dependency ocaml, according to upstream install
instructions.
-- Ralf Treinen <email address hidden> Tue, 01 Mar 2016 21:17:13 +0100
-
alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low
* debian/patches/series: add missing newline
* debian/control: XS-Testsuite => Testsuite
* debian/control: drop duplicated Section
* debian/control: canonical URI in VCS fields
* debian/copyright: Makefile.in => Makefile.configurable.in
-- Ralf Treinen <email address hidden> Tue, 26 May 2015 21:56:56 +0200
-
alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium
* debian/control: fix domain name in Vcs fields
* explicitly set the build date to the date of the last changelog entry
(closes: #786846):
- add patch 0003-allow-set-build-date to set the build date in the
Makefile in a variable
- debian/rules: pass the correct value of the build date to the Makefile
Thanks to Juan Picca <email address hidden> and Jakub Wilk <email address hidden>
for the patch!
* rename patch 0001-dont-activate-debug-flag to be consistent with other
patches
-- Ralf Treinen <email address hidden> Tue, 26 May 2015 20:48:35 +0200
-
alt-ergo (0.99.1+dfsg1-2) unstable; urgency=low
* upload to unstable.
-- Ralf Treinen <email address hidden> Mon, 04 May 2015 19:05:42 +0200
-
alt-ergo (0.95.2-3) sid; urgency=medium
* Remove previously introduced patch since relevant API change
has been reverted in OCamlgraph 1.8.5.
- Remove 0002-Port-to-OCamlgraph-1.8.4.patch
- Build-Depend on OCamlgraph >= 1.8.5~.
-- Mehdi Dogguy <email address hidden> Sun, 27 Apr 2014 21:42:15 +0200