News for package alt-ergo

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.30-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://alt-ergo.lri.fr
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/alt-ergo.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, libocamlgraph-ocaml-dev (>= 1.8.5~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 3bcdb7a66cbcf28903ac7b2db3505c07a05075eb 380329 alt-ergo_1.30.orig.tar.gz
 96fe72635cd336eb8b123164379b66b4aff5dc07 14244 alt-ergo_1.30-1.debian.tar.xz
Checksums-Sha256:
 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 380329 alt-ergo_1.30.orig.tar.gz
 30e35a3b8861dfaad0c535b2711a3c78bcef8292d7f8130c9ff5cc48da7270fa 14244 alt-ergo_1.30-1.debian.tar.xz
Files:
 c7100ebd625fbd7d3e5247dbac689748 380329 alt-ergo_1.30.orig.tar.gz
 722f5efcc0f4e27866c3e9b94fba7d26 14244 alt-ergo_1.30-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhO/YsACgkQdFxHZtTK
zf/FwQ//dTA74Lgg2YqPQdsYkqvlMcHpdB9abcLg0Tur4YSSlgxho8qAqVIcJzqB
jauuhivayrW3zdGwkZEhlQHhjRwUI6UuC4htyIOoMQzZcKPf6sy3hdBsz/qS39WQ
FZpHEPuCXUlGL2Dfi1QAHDLQt2lNN1/QO6FLPnbgUldevHiUbtL3MdYkp+OK/R+s
89slvXnsIWIR04kBZFZYkzDJ6CvoBMTf6ypLIcAD4IhRFXSQcwoIegfpucpDU17Z
mP6stf43FDzGxQ+NTrDqQkk0LWl5/AF6Q0zkxwku2NcoZ7N7fmJo5Fxuhj8zAx7q
Sxrto0dzR9nsupCT2UQP96bxkSByuNoeyXyoLJdCXF/8g509cJkcdMOvWrF5Ca0a
r4CzzGleqS1UEwJEziZg3PVbf2COsoqTLZTLai3ueUDrMmiezESl1QxcTHPfboW/
+G3FX9DLoZ7SxcjP0l6wmKTTfUM33JIezbcry3KvJJEkApxU8QpXHQfH7ELuS+lP
LTF9Bco26dRc3Jb8kAANN7XMYVfh1qi0pk3sWTzcuoKmddNfM+WAPYcCqxxSbIEm
g5y9PGIuGcgkrVtaqVi6T8EcpSL6iJ7aKZ5uX2G5UWxn0ZOxQd9A0eYRX5N3NiQC
oZAZzE++BT2GgT32yHJxSv3Q0LmyAfn65y1zChHlqFsxXrbsk20=
=G7++
-----END PGP SIGNATURE-----

<span id="changes">Changes:</span>
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 <treinen@debian.org>  Mon, 12 Dec 2016 19:58:57 +0100