Accepted gringo 5.3.0-7 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 27 Feb 2019 05:24:41 +0100
Source: gringo
Architecture: source
Version: 5.3.0-7
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Closes: 923228
Changes:
gringo (5.3.0-7) experimental; urgency=medium
.
* Bug fix: "new symbols", thanks to Sjoerd Simons (Closes: #923228).
* debian/control: bump Standards-Version to 4.3.0
* debian/symbols: fix FTBFS on powerpcspe
Checksums-Sha1:
405812a9db486ff7114346a2ec528a2332d56df9 2096 gringo_5.3.0-7.dsc
41ed4e48df04ddaee7911aa9f6792d8c86e68b64 18420 gringo_5.3.0-7.debian.tar.xz
acdd0cec7353d54ca89a8f00162874aaa6029b1a 7765 gringo_5.3.0-7_amd64.buildinfo
Checksums-Sha256:
9126122a76c1add56199d55eb3d32f89b20b218389d55866017d81688439d19f 2096 gringo_5.3.0-7.dsc
8c143c91d6dc3bfa897eb15bdc2366bdc8479165326e956bb7e5037844c54564 18420 gringo_5.3.0-7.debian.tar.xz
9ed73da7af232a3d7b81c12c6afcdf6e9913a018e5f4c33d3a4c41f097b6bdbb 7765 gringo_5.3.0-7_amd64.buildinfo
Files:
142903cfce4869c635071263fbfe7046 2096 interpreters optional gringo_5.3.0-7.dsc
ad881fd1e41369393b5eea92e2b3f65e 18420 interpreters optional gringo_5.3.0-7.debian.tar.xz
e2bae04566fee76d47473b26a5e34871 7765 interpreters optional gringo_5.3.0-7_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlx2ImsACgkQJ5ffdKZm
mqmaTA//QNTR5OdFnFHKUCrcoJro9rpSMv3VgfeIWRxJHC7H73x/h94sSJniYAhc
7SbMJXybmzikLpMx3aGfTLCYEIl0U5SX44uoVuGRmZQa2Ll6vSta0564vOFNjdGd
s0rxMwuME31RTKqPvoMGXPOzjf2LOHrj5S1XJiR2Q8OWJ5bTvLtNpNG1txXBrQ8J
ryShkqKcgNh50RZcr3q8RHN/AUXEvwp9vfvRfLN5Jkm2LVlVDwj7RQWmba/LQFIB
09t4b4ut4yqWPWF8p0zDmXNP2DAoQuN1hXGiACJDfZK/mMQl8A1ZU8SCDIkR0qES
fOG082UJfU55giA9A4y4GClHCHJretqyzE2BmCX7Q7bOUY3ldf7UL/mgjza6A+Pt
i119lDSPAwDDIFhzR7xwWtj9TJKNvOYnVA265MHH+KIQVNtp83krq0/e0KBVUo0Z
5/jSlrhywGmSisir0p9oFvSUXqA9Jt0QTvyYJCZK/tyzk0hvjwsPuwKYedF18arM
3JX39tp/Jq8/89VHicjLsPCsv4jN2WbjpgNLCS7pxEOuLJpTHcIIHr+dWTUDyo0H
oRsR5RomUjcnl5vugMHk3HjRoDcrXFT2LOzi9WFd4gAtdaQjtelqjlcPYSQa9HF2
Wtk0AXwedc3B8EUx+238AsrmgBPzmxjS3rThs30LfZa+CpRCago=
=Vos/
-----END PGP SIGNATURE-----