-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 22 Feb 2011 09:38:26 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.3-4
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
gringo (3.0.3-4) unstable; urgency=low
.
* control: Combine gringo, clingo, and iclingo binary packages into gringo.
+ Conflicts and Replaces clingo and iclingo.
* copyright: Convert to DEP-5 format and add missing licenses.
* rules: Add override_dh_installchangelogs for CHANGES file.
* install: Install gringo, clingo and iclingo.
* Refresh gringo-makefile.patch; do not install anything here.
Checksums-Sha1:
8ce47b28d4ed4ece1d067075451a912375956f48 1147 gringo_3.0.3-4.dsc
ac422aaf3732e919624fbd4701323de1041c9db6 7154 gringo_3.0.3-4.debian.tar.gz
e3426f204ff5cb7fb81b85094db2b5cae565423f 1643068 gringo_3.0.3-4_amd64.deb
Checksums-Sha256:
43c78187539d30af8e6aad5fdcb62ab296237e0554d0b0b30362df6ef639981b 1147 gringo_3.0.3-4.dsc
7109a0aaa02bccf645725d346a8bec894de1869ee2b63bf5c1a52706db6ff81e 7154 gringo_3.0.3-4.debian.tar.gz
16af5b5f3d7bc9036481f5d22aa5786e57ea3120b20e926ee3be6383b20f9ac5 1643068 gringo_3.0.3-4_amd64.deb
Files:
43f5318710698befea8471d69d6fe3eb 1147 interpreters optional gringo_3.0.3-4.dsc
7c864d99ca5e291b38abb5c20c58269a 7154 interpreters optional gringo_3.0.3-4.debian.tar.gz
7f240635e25b8b56b620446c4d852a80 1643068 interpreters optional gringo_3.0.3-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk15I6kACgkQvx6dH3bVKsRsjgCeKHeAih5oxZOac2ptKDLirvEC
ERIAn1K+Z4M+YdlZRvn77796POSDZNr5
=xhDY
-----END PGP SIGNATURE-----
Accepted:
gringo_3.0.3-4.debian.tar.gz
to main/g/gringo/gringo_3.0.3-4.debian.tar.gz
gringo_3.0.3-4.dsc
to main/g/gringo/gringo_3.0.3-4.dsc
gringo_3.0.3-4_amd64.deb
to main/g/gringo/gringo_3.0.3-4_amd64.deb
