Accepted gringo 5.3.0-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 21 Nov 2018 04:54:38 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.3.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (5.3.0-3) unstable; urgency=medium
.
* debian/upstream/metadata: add DEP-12 upstream metadata
* debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2
* Upload to unstable.
Checksums-Sha1:
0dda58b9e2fddb14dd24876acb36a0e04183fe3a 2093 gringo_5.3.0-3.dsc
d9fba464138ad5a50b03bd56c8db3822eace46f3 18088 gringo_5.3.0-3.debian.tar.xz
6975edc937be0551160e89b379005b1fbbe56259 8017 gringo_5.3.0-3_amd64.buildinfo
Checksums-Sha256:
85ddbb1be85fd2e95b84b732a4e7b5b32f202ff1259b070f203485ba1b8ffd3d 2093 gringo_5.3.0-3.dsc
1d9573c634c676ea5f6985b01d1143334bb52e3061723eaa285e882293f4ec43 18088 gringo_5.3.0-3.debian.tar.xz
5a5c4823493d4a8c53eba66efac0e88778fadcf7cdf71e5090084ed91ece58af 8017 gringo_5.3.0-3_amd64.buildinfo
Files:
50006839e8df74b09cc4df30b21525d3 2093 interpreters optional gringo_5.3.0-3.dsc
806b9df465f8f761e11ca50336074ca0 18088 interpreters optional gringo_5.3.0-3.debian.tar.xz
ccb1aad2f48ac1c0b9bfb8781ae8f437 8017 interpreters optional gringo_5.3.0-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlv026MACgkQJ5ffdKZm
mqm5Yg//R6birlO+vL3j+fLWTHFqtOaUnvjdYXlPVUl0FVnwFijAjHMYsHPGT4cl
NlHpXS1BT8z9/ouxCvRhQ0t2PpYPkffjx+5s9dfrRZ18kT20ZJMwobvDm7wEjM+5
0CKo1AhROYyL8Y8kSOuX4BMcdQydrj9yMgDWfALF9nkU+jB3vsPfrEtf+GfYtfu6
zObbQ3NYgdcVZd1C3T2FYSS3+YjkziQzYFdpItYg5x8KyrUON2+lwStyANIQ7xsx
bthDcS+dfgKcBrt1JGdviakjjQplz4QScc9M2OxTTNHFsn3w69XpJBwbp7l/57ek
votAqkETK5Q7Qs/Nb8Vi+NUfGVSCZWU5LQhE893k5KdtVU6gk1lrmj3Wkn95t85j
K2mz+vrqCKmfGE6XWRhFTFYEYesJ1BlbUYYth30vpX4WEcjrw3EMI3gUdDjn+7CG
w4z2Qc+TbwaSPaGqGteKrV+ZmkTihdY9bto/jT/rr1jXvyTeaw8CJnawWRFDdZ4J
iqzUwQMQiL61Pq/2796+AF9PDP27CRkuO10mWMk4f9g7fJE2qDpaEigdcd4lGEHy
dILnqeOp+rnwhwzeuxJxjd/zoswoVWscZCL1SpAe6sTCVqA/c21KyenJYXDwrGxZ
tcgRoR52KteDwfbwwYjC+1vn+Vvf+j2rSZZW5y9pG3i0HjD1EuA=
=c9gW
-----END PGP SIGNATURE-----