-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 18 Aug 2014 17:10:34 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.4.0-1 Distribution: unstable Urgency: low 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 (4.4.0-1) unstable; urgency=low . * New upstream release. * debian/control: Remove Suggests on potassco-guide. * debian/control: Fix Vcs fields to use anonscm.debian.org. * Setup git repository to use git-buildpackage. * Import upstream sources with git-import-orig --pristine-tar. Checksums-Sha1: 34188b2e11aaa9592354c792caed25635d75fbd3 2053 gringo_4.4.0-1.dsc c39a1c3cfe64b62e39e6abcc8f813e2d1d17251e 1482711 gringo_4.4.0.orig.tar.gz 219eca43714f979e0eee82f5e3bab58b925e48dd 8304 gringo_4.4.0-1.debian.tar.xz d81bacd755992b553b5c7bf16edd42a1faa27e5b 1612758 gringo_4.4.0-1_amd64.deb Checksums-Sha256: 6e2356687122f0e76bcae2cfdf0c55c691b4f57c5bbc4c89ee940e7ac92f68ac 2053 gringo_4.4.0-1.dsc 49b2ddc78f568a12530c780a29bb7f57b656556f0840c5e9ada4f207913dde5e 1482711 gringo_4.4.0.orig.tar.gz 72db53f0c00f8ad97dee7f29db1c0c12d8aee7f6f2f11653fc43a1284896fb9d 8304 gringo_4.4.0-1.debian.tar.xz f081d314d219c7134481ae9e52d39fb835608b86c63463c12ccfe22213e81a03 1612758 gringo_4.4.0-1_amd64.deb Files: 0087da6463650f40c0364d5933cbbe96 1612758 interpreters extra gringo_4.4.0-1_amd64.deb 29415ffbd00dab2127f31779721bfb8e 2053 interpreters extra gringo_4.4.0-1.dsc 00627846648d6818117bfa8185e491c6 1482711 interpreters extra gringo_4.4.0.orig.tar.gz 398b76f0681abad33863fa0088a884b3 8304 interpreters extra gringo_4.4.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJT8h+BAAoJECeX33SmZpqptfwP/RFZA20fHGZwAXfEFcO7J4BO 2kKVNUZ5th6Ev/ojwjfdpUTopZYG5N+T88zJgHuUIADr0erte+wmfJldygR9MX6A M/MIR3BWl4/RlaBVc9ZJVeqOnZaopntBDmRrkukEPlrxGDky9iwJfC+wbgHRpCJ9 4e+0uawcQACSXWJ5cVWy5DHcXIeVde3lakzj7JKUbHe5Naaz4fRq8ajH3/CrRwRs 515YpC+4mfwC31YGS9T1t+XqZMmlScT9FQBXjNowaAT0StEF4xq0/LGmbxnxPJSm PjrIEml9GcDT4BlRML8ktx8SPdHmD4zOi2/oUPRFYqohCcCgRNcpb8kUFA4dEYGv h3zMO2T6zP58svRc1cA5ydwFa+A/XgngzeIqyFko6HVx9lcpJGK/xB/vI1jeZ6wS f+qtAnIMB+ZvZkcX6jVp6zdh4zfXbjKVClpHtQ1MTFcdOdjp3oz50dZe0wpJbIT4 b/UpEuU3zWIYjOXCkAOszXM3lgXXVpliuG8V06l9oLNYBZOl2xo56NC9pDt92XSF /SHf6JeAsmP2xUhGqwB410xLaw/GhzNx0q3su1+QIevGob6KD8vr8HuCC6Imts3a iXt4v3gt4nd1AHpAC9b98+y4EtM0xiwd1EbsRMW53Ir6bOQLhhrtikacQXdN8TbL xcjPRMBqLzMuLraoQRVu =8Dvj -----END PGP SIGNATURE-----
