Accepted gringo 5.3.0-8 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 28 Feb 2019 05:25:47 +0100
Source: gringo
Architecture: source
Version: 5.3.0-8
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changes:
gringo (5.3.0-8) experimental; urgency=medium
.
* debian/symbols: fix symbols
Checksums-Sha1:
18a745459accfeaef18f3001cbe71356fe9de5e8 2096 gringo_5.3.0-8.dsc
4f007e90bf5fc6371a23c1aaa2916fc372e61819 18464 gringo_5.3.0-8.debian.tar.xz
7b1d3440f8934cee1734245eb6e25594f83862de 7765 gringo_5.3.0-8_amd64.buildinfo
Checksums-Sha256:
0e8342c8427b4482c97c4a8e60b36789968ba7fda2984fd13af12354822e1791 2096 gringo_5.3.0-8.dsc
ba5a65263a3d5ed3663a31c56ae86ef773f7253a65454fe4a63a70cdb2ee4177 18464 gringo_5.3.0-8.debian.tar.xz
ecce9158adf985b06062600d3f947e58627a31f9545f6050d5b875f5097ba511 7765 gringo_5.3.0-8_amd64.buildinfo
Files:
72e1f8f92cad9547140c367fbb55c7d8 2096 interpreters optional gringo_5.3.0-8.dsc
353947615797b967152bb159ee3b05c4 18464 interpreters optional gringo_5.3.0-8.debian.tar.xz
d24f8b00380d6f6bab99d66e4d68d8c6 7765 interpreters optional gringo_5.3.0-8_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlx3ZysACgkQJ5ffdKZm
mqnIRQ/+Oo1SxPlbryQnEa6EgBmVDhFa+HO8d670mM+kO1G4hHDHTax/m52lNSfX
cJlIm/rvZAAP1YyyW3KaGkYz9lp4DV7LS7C2BccTjT6oxN63uuCFFaG0Sy8uEzqS
j8hotLqytvLvOXnnww6oCSmJRqePdbQVZ11o30ZcAaCovubQXTTCCQXhIE++Xbex
+nW492QuUvmwwGhyVLDJX8YyA14AyePSRhPf0Xczgcf7fXcZDm9esxo5725qZgUT
8Fu/UForSYx4zSGnSAYtWWgmI/DJ/2/Xp/MHNgGS5sAW5EoZ2y/OxvD6PGCivHhv
ylmD/e6Qekt+3NLqhG4rQOwF2OrEoxI2Gx1KuhhbahXkJabtTDMj/c1+KEtz+UCk
p757W/EfBzFF2IEManjBvQs7RnizFreceb2OkIHRvBTlcrpjISKCBDrcLZ35ThJM
7v2eW2GfyPeaAgEHhMzEI7TyX7z/+PZXoNVIbtD6jU2/bPBInn8QlOTibdOVG3nV
j+fzQTkeyLjjgiU7Zz6Qrw6/uBLSuthl3o/r3N9e9frn9XC+hWQBCuGmMYRD1OxC
IYbRoGrKNl5mhR1VR58B/IKcM9tmgmD5abO0jtINfELDSjOdUn52w1rqkqNT/k7w
T8uhFYcKgomC1h5Rwt1cCXDVfk8CZX2YXqUrsSprhwoJ/kDdI3k=
=RfqX
-----END PGP SIGNATURE-----