Accepted gringo 5.2.3-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 30 Jun 2018 13:27:28 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.2.3-1
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.2.3-1) unstable; urgency=medium
.
* New upstream version 5.2.3
* debian/watch: force three-digit version
* debian/control: bump Standards-Version to 4.1.4
* debian/TODO.Debian: refresh TODO list
* gringo-makefile.patch: drop Makefile
* debian/symbols: update amd64 symbols
Checksums-Sha1:
c8b2a0a31f099016e47641a2af52140dfed98976 2087 gringo_5.2.3-1.dsc
8c10dfb6a2a66692a12decbde6bce9fb2e7cf714 2651628 gringo_5.2.3.orig.tar.gz
3341ec754940296b3cac8db53833c37ffef9d366 14824 gringo_5.2.3-1.debian.tar.xz
b583ff8e4e6c93764eab23624b23ef4f7decc027 23615412 gringo-dbgsym_5.2.3-1_amd64.deb
c57bdc26ea7b1f3f51ea955739cd0e7f174718fd 8156 gringo_5.2.3-1_amd64.buildinfo
84fa60881ffb689d3b1ab1980834b8a9c9825af6 2206496 gringo_5.2.3-1_amd64.deb
Checksums-Sha256:
82012de142f61fb948136ac3c69512fddcda2085f1ab6a3c958f346908bb6500 2087 gringo_5.2.3-1.dsc
7b582b4a774a83bb50e3a5ef1edef9617c85118e4ba13f25620044c444ef5e90 2651628 gringo_5.2.3.orig.tar.gz
0dacf5223daab98462be0c26f4310511f946b161d9b72ccf582733dfaa60e4dc 14824 gringo_5.2.3-1.debian.tar.xz
acc0e458648289679992ad2e630344f9020e60cf6cf5f92c314085a738420e28 23615412 gringo-dbgsym_5.2.3-1_amd64.deb
f4882a80fd47b3c59c02bb92ab8c1a4f917940f8b835f9537d7404537e40c891 8156 gringo_5.2.3-1_amd64.buildinfo
ab2d529f01cef53360e88d92fa465599b3a12631b18f34bba6a75ceafe643f31 2206496 gringo_5.2.3-1_amd64.deb
Files:
a9a154df41ca43b2a4c8873356f5dc85 2087 interpreters optional gringo_5.2.3-1.dsc
d1e2fe70292a67470ea23fc021aa5b38 2651628 interpreters optional gringo_5.2.3.orig.tar.gz
cbbf17b86902bf1e3f401dfe4183deef 14824 interpreters optional gringo_5.2.3-1.debian.tar.xz
87f840702b09d64b0798d41690d8c49f 23615412 debug optional gringo-dbgsym_5.2.3-1_amd64.deb
65e9f8d28a9879f1922557a5076d164f 8156 interpreters optional gringo_5.2.3-1_amd64.buildinfo
67d49d30dc0e861ce6144d75f247f765 2206496 interpreters optional gringo_5.2.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAls3amkACgkQJ5ffdKZm
mqni3BAAmGXzjYdnX/AAipc45+G+4oWyOLYbLQD2X7+hjga2/gE40WMAKPuqBx6e
xYBhfua6tcrcO+Cle3aE15QpshmH9tFBsjc9eLxB3ITXPJQSyca13KhCKnOWSg4w
xwmNwkKxq3e9GbjhUfHvj+vnW6+8RBm9o/SD8HWB1FgG7Ul5C7GJFE+oE/H1Izmm
95naaHuOWobZh/fYnS5T+C/Xkr84w+0SKgcNTtfL0h7ItUTvokgVr/TqEyMwsQ0v
/4jYxKxF2yE4yiv3xWZyw7wqyX7xibc2WJXyKrDexZo8aGcE8A8rEtRPCsEBBDnv
GnmDl8fZMXLRT7hwK/D6orVVNhUvPuAJTnjlmKNKA6Vy1qCZC4odCGuhinSEAa9+
Q37SHrj2Ppaxaix5t/o501Zz7SNDLzeiuloJdmI76/CUQb2tynsfJn8yXp1KHKM/
jCPRz83oIOSUNlKglqifYyKHTLGyQxsKiLmOFREDH6Fl0uu7vSjVxEH9lHW/9vY0
q8nzMvUOlcXg1/GUJC80ZcBR8acBxG1ppi7/0cytYfvXhcZf8TytSHt/tenB07hJ
1Z1pe5lrcOP7Cl2ikqO5xRoJmY0zG76dhZN6LXxw3AWcCm8Y+1mujL47JJacNr2H
rihToU4sBA8YBndlelZ6mFBjaZr5232TL8cppS9SuEvRtSd5u28=
=lqwt
-----END PGP SIGNATURE-----