Back to alt-ergo PTS page

Accepted alt-ergo 2.0.0-6 (source) into unstable



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

Format: 1.8
Date: Wed, 15 Apr 2020 09:56:28 +0200
Source: alt-ergo
Architecture: source
Version: 2.0.0-6
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-6) unstable; urgency=medium
 .
   * Build without graphical interface, due to the removal of gtksourceview2:
     - drop build-dependencies liblablgtk2-gnome-ocaml-dev and
       liblablgtksourceview2-ocaml-dev
     - drop building and installing the gui from debian/rules
     - drop mention of the gui from the package description
     - announce this in debian/NEWS
     - drop override of dh_auto_{build,install} which are no longer needed
       since we do not have to specify gui any more
   * Drop override of dh_dwz which is no longer needed.
   * Standards-Version 4.5.0 (no change)
Checksums-Sha1:
 784d385cef172263229e5bbe0a93045baef49e69 2143 alt-ergo_2.0.0-6.dsc
 ddfba2473b734057d062be957069ef8d10bad642 7080 alt-ergo_2.0.0-6.debian.tar.xz
 7372a773b4354ef50e26cb746e284b86e4c7a7ad 6073 alt-ergo_2.0.0-6_source.buildinfo
Checksums-Sha256:
 9383748a82b9f74f12cdfa8659433061fb36ce8bb8c970ea8bec09e6982d3978 2143 alt-ergo_2.0.0-6.dsc
 e100772ab298c1d9e3f2bad4844a2e8fcfc038628ad0082a770aef009c224319 7080 alt-ergo_2.0.0-6.debian.tar.xz
 1a90dc6e945c37bb2d068b719c3a4b5ef79b5087afd9780a67da05b2b68ba28c 6073 alt-ergo_2.0.0-6_source.buildinfo
Files:
 fcbf9d3b5077d53c97b89891c6065a04 2143 math optional alt-ergo_2.0.0-6.dsc
 1e6a1dbb455e565f98878d1578b51079 7080 math optional alt-ergo_2.0.0-6.debian.tar.xz
 3b093f6bf233abd22c45c1465e48bdc5 6073 math optional alt-ergo_2.0.0-6_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6WvqIACgkQdFxHZtTK
zf9VKw/+KfeOn48G5b6UG1GA2fV4oSLwhTFF61alQCxq5QIz7uD0Yrg9/gwkmhUs
lLNVruV7bi6Es1ZkbiP7QRtIdnKKXaq/Wx/EXZkFRIOIKc1Vj+RVDKM16oZp86kN
hkVkZvW0804l9XLNEj0T4OlQq7mKPkQkiFowTNi3QZ1UNCsg23XwKvLBxuxbzypx
FqTVTMQR6OwZQ8BiWgoAHNa50Eu+0c6JE1B1SAY7Cj7qk1ySbhUGM7230cPESEZd
EZNUyqcDbw4sytEZLUwVOB2zo9K3Pl+Wr5iWkf/dYdlmPwGdIhsRor18qwKCHid3
11RvNHp29oEEq/1PMS8jAa6ALPL5lhAkZTI5GrI0RtOI5C//0FrJgkrHSwWaQpc6
81UiPfdcm4XbCFsSunvzQifOkqfmxl15TtMhdDZOTupWfUTrFKiCSTfhHD6tzZga
Od9uW4/pYlb76tSJ05HX1HYsl8QzE1lGgILGNCYIAQ+oTPrqIqzpjTA36GfEgWgm
VjjOJgf2W7LOlOE+I5d8ODohkseLgak8uzwD8dSU71HE0n3RfK5bIBDhqQGFcfWb
4yCfJymBFsd+9k6eZpt3t6K70/eYha+qI3/YnbuCvVWu3puWJ8/Kd+SJ7szvTMmA
B5nlkdMsYsenpxwFAjbz8kCa+NMZ5+9ktunkVK5ySWqbqEaPmhA=
=Ytol
-----END PGP SIGNATURE-----