-----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-----
