[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#605879: marked as done (ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs)

Your message dated Tue, 15 Mar 2011 13:32:09 +0000
with message-id <E1PzUM5-00055G-L0@franck.debian.org>
and subject line Bug#605879: fixed in gringo 3.0.3-3
has caused the Debian Bug report #605879,
regarding ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
605879: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605879
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : gringo
  Version         : 3.0.3
  Upstream Author : Potassco team
* URL             : http://www.cs.uni-potsdam.de/gringo/
* License         : GPL
  Programming Lang: C++
  Description     : An lparse-compatible grounder for (disjunctive) logic programs

Current answer set solvers work on variable-free programs. Hence, a
grounder is needed that, given an input program with first-order
variables, computes an equivalent ground (variable-free)
program. Gringo is such a grounder. Its output can be processed
further with clasp, claspD, claspar, or claspfolio.

--- End Message ---
--- Begin Message --- 
Source: gringo
Source-Version: 3.0.3-3

We believe that the bug you reported is fixed in the latest version of
gringo, which is due to be installed in the Debian FTP archive:

clingo_3.0.3-3_amd64.deb
  to main/g/gringo/clingo_3.0.3-3_amd64.deb
gringo_3.0.3-3.debian.tar.gz
  to main/g/gringo/gringo_3.0.3-3.debian.tar.gz
gringo_3.0.3-3.dsc
  to main/g/gringo/gringo_3.0.3-3.dsc
gringo_3.0.3-3_amd64.deb
  to main/g/gringo/gringo_3.0.3-3_amd64.deb
gringo_3.0.3.orig.tar.gz
  to main/g/gringo/gringo_3.0.3.orig.tar.gz
iclingo_3.0.3-3_amd64.deb
  to main/g/gringo/iclingo_3.0.3-3_amd64.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 605879@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Thomas Krennwallner <tkren@kr.tuwien.ac.at> (supplier of updated gringo package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 05 Dec 2010 18:01:28 +0100
Source: gringo
Binary: gringo clingo iclingo
Architecture: source amd64
Version: 3.0.3-3
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description: 
 clingo     - clasp on gringo
 gringo     - lparse-compatible grounder for (disjunctive) logic programs
 iclingo    - incremental clingo
Closes: 605879
Changes: 
 gringo (3.0.3-3) unstable; urgency=low
 .
   * Initial upload (Closes: #605879)
Checksums-Sha1: 
 b333bb18b655cc3c5af860d25e94e635956f8602 1152 gringo_3.0.3-3.dsc
 a2da1600697fc21b2350a6f88be6601006167e3b 537198 gringo_3.0.3.orig.tar.gz
 1289e68c61bac1c973dfcf895acfc8acc9f21f28 5615 gringo_3.0.3-3.debian.tar.gz
 98be7f502e44d632e8216b0b81ada25899cab841 347726 gringo_3.0.3-3_amd64.deb
 657b17db3489500e175991db920e25e35ffb9840 603914 clingo_3.0.3-3_amd64.deb
 8b59725e2b646d17b254a0d5bfb8ca60cdfd558b 607884 iclingo_3.0.3-3_amd64.deb
Checksums-Sha256: 
 7b10591b67c00b5ab14aa66c6db4a93aa668b5ef41d08c1fc5e6d1c71bb47e34 1152 gringo_3.0.3-3.dsc
 79e31fbfb1967496a0b3ce391caa86b931d7b74bb22fd822140c2ec0e320cab9 537198 gringo_3.0.3.orig.tar.gz
 6176a66c51d259b0d0710b692d4f3f8f37d630cab50449798f0f8949eac8e533 5615 gringo_3.0.3-3.debian.tar.gz
 5d10d65791a975d86bf9f9b2901370643e64e592514a50f422f2c812c5453998 347726 gringo_3.0.3-3_amd64.deb
 6cf8bfd39aa3f780f093399ad82a25ec9b921a7ba771cb5aed4ddb0d8d378121 603914 clingo_3.0.3-3_amd64.deb
 9033b77647927a4caa7451f083c794311bedb3f74ac504c84a63a4652c133766 607884 iclingo_3.0.3-3_amd64.deb
Files: 
 0054ff0077c2a42ff345714f04888b33 1152 interpreters optional gringo_3.0.3-3.dsc
 e341db500c04379ef3ecc39932cc0816 537198 interpreters optional gringo_3.0.3.orig.tar.gz
 3d8ec2c593a566e1f4037184459181ea 5615 interpreters optional gringo_3.0.3-3.debian.tar.gz
 f3edd67b1719cd6bcc5598b2c70b68db 347726 interpreters optional gringo_3.0.3-3_amd64.deb
 5a6055a9a43a4bc01df4104e5142ce66 603914 interpreters optional clingo_3.0.3-3_amd64.deb
 d278729160d19570015036577d97139c 607884 interpreters optional iclingo_3.0.3-3_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkz9NK0ACgkQvx6dH3bVKsRHegCg2nhvkGi3WxDnE5Mp2hPa+810
yBsAn3sqfhkIYlzl2G4loQr0FEV4fYpM
=JaCd
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: