Your message dated Tue, 15 Mar 2011 13:47:07 +0000
with message-id <e1pzuaz-0008ef...@franck.debian.org>
and subject line Bug#605881: fixed in coala 1.0.1-3
has caused the Debian Bug report #605881,
regarding ITP: coala -- translates action languages into answer set 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 ow...@bugs.debian.org
immediately.)
--
605881: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=605881
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
* Package name : coala
Version : 1.0.1
Upstream Author : Torsten Grote <torsten.gr...@uni-potsdam.de>
* URL : http://www.cs.uni-potsdam.de/~tgrote/coala/
* License : GPL
Programming Lang: C++
Description : translates action languages into answer set programs
The coala tool translates an action language into a logic program
under the answer set semantics. After being grounded by lparse or
gringo, the logic program can be solved by an answer set solver such
as clasp. At the moment coala is able to translate the action language
AL, B, C, a subset of C+ and the action language CTAID. The type of
input language can be specified with a command line option.
--- End Message ---
--- Begin Message ---
Source: coala
Source-Version: 1.0.1-3
We believe that the bug you reported is fixed in the latest version of
coala, which is due to be installed in the Debian FTP archive:
coala_1.0.1-3.debian.tar.gz
to main/c/coala/coala_1.0.1-3.debian.tar.gz
coala_1.0.1-3.dsc
to main/c/coala/coala_1.0.1-3.dsc
coala_1.0.1-3_amd64.deb
to main/c/coala/coala_1.0.1-3_amd64.deb
coala_1.0.1.orig.tar.gz
to main/c/coala/coala_1.0.1.orig.tar.gz
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 605...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <tk...@kr.tuwien.ac.at> (supplier of updated coala 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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 05 Dec 2010 18:02:12 +0100
Source: coala
Binary: coala
Architecture: source amd64
Version: 1.0.1-3
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
Description:
coala - translates action languages into answer set programs
Closes: 605881
Changes:
coala (1.0.1-3) unstable; urgency=low
.
* Initial upload (Closes: #605881)
Checksums-Sha1:
3ddfc38bf8b5dc4ccf39609cdb704b3173d78daf 1087 coala_1.0.1-3.dsc
0364a22d2b42be9f292ba6d82fca39c6860b975e 175772 coala_1.0.1.orig.tar.gz
17d78aa2e894c04d68ab504be5bb3d10a8e7e4fb 3978 coala_1.0.1-3.debian.tar.gz
57428b3105669bee159e395e1d1e5cc0fb8ad0e5 246642 coala_1.0.1-3_amd64.deb
Checksums-Sha256:
3d006269c957713ce9445076591319c0fe38ebf4aa64a88290e4903a36ed1a18 1087
coala_1.0.1-3.dsc
93af74d78ecef1be9b843c4c41c334f02e3590beb9cdee917a86809bc2d2cf56 175772
coala_1.0.1.orig.tar.gz
e88659c53c28989769959be2ddb209a28bb2b9bd7d063ccd33ae4ec62b4d697a 3978
coala_1.0.1-3.debian.tar.gz
f93ab7008a73870bdffd781692f7fe028dd5981660028741a2cf42fd40238887 246642
coala_1.0.1-3_amd64.deb
Files:
572b8799f0dc69edbcb7115dc0ae5a53 1087 interpreters optional coala_1.0.1-3.dsc
a46882b19eddfe1b782746afca3fdffb 175772 interpreters optional
coala_1.0.1.orig.tar.gz
81de725d719f429a6197ee9eed8443cd 3978 interpreters optional
coala_1.0.1-3.debian.tar.gz
187d10ea4da47d8a6060987089d18b54 246642 interpreters optional
coala_1.0.1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkz9NXUACgkQvx6dH3bVKsSEIACgpdE2ME6D9K2O4cSDCEjlOI/V
kwgAoNORITjZlrGVHsu72pEZmYQ438iK
=n/N3
-----END PGP SIGNATURE-----
--- End Message ---
