Accepted alt-ergo 2.0.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 13 Feb 2019 21:02:29 +0100
Source: alt-ergo
Architecture: source
Version: 2.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
alt-ergo (2.0.0-1) unstable; urgency=medium
.
* Adjust debian/watch to the new *-free releases
* New upstream release
- refreshed patch 0001-dont-activate-debug-flags
- dropped patch 0002-non-free-dropped which is no longer needed as upstream
now publishes a completely free version
- dropped patch 0003-allow-set-build-date since upstream has replaced
the build-date by a release-date.
- dropped patch spelling which has been applied upstream
- dropped patch ocplib-simplex-0.4 since issue solved by upstream
* debian/copyright:
- license changed from CeCILL-C to Apache 2.0
- https in format header
* Build-dependencies:
- ocplib-simplex: put a version constraint as indicated by upstream
- ocaml-nox: bump minimal version to 4.04 as indicated by upstream
- added menhir
- debian-compat (=12)
* Re-activate building and installing of the gui.
* Do not install fpa-theory-2017-01-04-16h00.why which seems cruft
* Override dh_dwz
* Standards-version 4.3.0 (no change)
Checksums-Sha1:
7610e6ab5d69f84c678fc6f8f8cd62307eca14a0 2227 alt-ergo_2.0.0-1.dsc
594a9fd98182c47155206f3e358ef27b7f30b059 353488 alt-ergo_2.0.0.orig.tar.gz
2ef31874e14d32e3c55233314ef99842468689dc 6464 alt-ergo_2.0.0-1.debian.tar.xz
f687d779d0b2b0f2ac62150f9512b1cdf281b736 12415 alt-ergo_2.0.0-1_source.buildinfo
Checksums-Sha256:
a869f1e963e217d546b2d12ec41fdef773a9b58d06a802f6a4e8921557689946 2227 alt-ergo_2.0.0-1.dsc
bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
15bdc6b4350f9d2865709599be431aa335381c7c7ee13e852bf3b19000372bd0 6464 alt-ergo_2.0.0-1.debian.tar.xz
4002848ed6fd205950e54666eb028b465643f3601bec1cf9ab93a0c528161b8e 12415 alt-ergo_2.0.0-1_source.buildinfo
Files:
6673c14df63a792189fb3481d12cf95e 2227 math optional alt-ergo_2.0.0-1.dsc
e390c96bcac7c54a5949ad36611412ef 353488 math optional alt-ergo_2.0.0.orig.tar.gz
c31912dd4deb9db6de9370b28098c00b 6464 math optional alt-ergo_2.0.0-1.debian.tar.xz
e6119a697c8711c8da55abcc1c28d146 12415 math optional alt-ergo_2.0.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxkfL4ACgkQdFxHZtTK
zf/TqhAAsXCKJeNN8a+l1zvlqWDSM54p+L+wlDXkNX609hXtV7iobdyBW7dUS6QQ
kTfB8Ifo5P5VDcv9vllQKLEPfEaiwuH6C+V4hyY4n4n6Ignfi+jKFaRP/u2iP45T
0++czoOlj5rjsdKuciWqhjwArzxuybQMLPyLXi5ki7H0aRrJ7PoYbaMi44Yz1SiS
dWDea+8q0RLbNOseoKA4K0RYIDX9PrQ4ElbyekOQqbN2qci6GKPmymJHi8u+D6sF
J3h4D14ki7iedV7XCuq8QjuIfp7WKQoD6VQWTFgZgxGIxJFgfSa2533W6WmzZ0jS
SIs5SOcWarxdsZsWkTym0ZO+nH9xot6ZLdDSSPSokul0fF8EHLra244LQmZ18ouh
nP4JRbMy+6valfzlYHp5fyHKv2Gbn0jj4JnDN68VjuI4WNVvxEzVOXgGQXjk1qIP
kBSpNKQ9n4Y/hLRgYVdxKy7hXAQTmFIy13UGyd0fPI3OeGYLY75XeI47xBxTOr1a
dMh+pw7rmdF+Qd6I47ALcozkYHP8p76qH2LiS3Jyd+f3UkS57i8ZioVL7XSaVUEs
eHU+5pCAjoZm4RiYAucWs7QM+/2RGA86QEgyFqtS6nsSUxDqhSkaztDcZ/ziKkL+
KyF6vQkxXQSe8818uiw0ambonUHJSDNJfHWq909gDsZtJYo4lLc=
=Jw28
-----END PGP SIGNATURE-----