Your message dated Fri, 29 Jun 2012 23:04:17 +0000
with message-id <e1skkeb-0004ch...@franck.debian.org>
and subject line Bug#431175: fixed in fact++ 1.5.3~dfsg-1
has caused the Debian Bug report #431175,
regarding ITP: fact++ -- description logic reasoner for the semantic web
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.)
--
431175: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=431175
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Steffen Moeller <steffen_moel...@gmx.de>
* Package name : fact++
Version : 1.1.7
Upstream Author : Dmitry Tsarkov <tsarkov A cs.man.ac.uk>
* URL : http://code.google.com/p/factplusplus/
* License : GPL
Programming Lang: C, C++, Java
Description : description logic reasoner for the semantic web
FaCT++ is a DL reasoner. It supports OWL DL as well as the
forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and
uses optimised tableaux algorithms. The tool is probably best
known for its compatibility with the tool Protege that helps
to formally represent semantics.
--- End Message ---
--- Begin Message ---
Source: fact++
Source-Version: 1.5.3~dfsg-1
We believe that the bug you reported is fixed in the latest version of
fact++, which is due to be installed in the Debian FTP archive:
fact++_1.5.3~dfsg-1.debian.tar.gz
to main/f/fact++/fact++_1.5.3~dfsg-1.debian.tar.gz
fact++_1.5.3~dfsg-1.dsc
to main/f/fact++/fact++_1.5.3~dfsg-1.dsc
fact++_1.5.3~dfsg-1_amd64.deb
to main/f/fact++/fact++_1.5.3~dfsg-1_amd64.deb
fact++_1.5.3~dfsg.orig.tar.gz
to main/f/fact++/fact++_1.5.3~dfsg.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 431...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jonas Smedegaard <d...@jones.dk> (supplier of updated fact++ 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: SHA512
Format: 1.8
Date: Wed, 27 Jun 2012 20:25:49 +0200
Source: fact++
Binary: fact++
Architecture: source amd64
Version: 1.5.3~dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Jonas Smedegaard <d...@jones.dk>
Changed-By: Jonas Smedegaard <d...@jones.dk>
Description:
fact++ - description logic reasoner for the semantic web
Closes: 431175
Changes:
fact++ (1.5.3~dfsg-1) unstable; urgency=low
.
* Initial packaging release.
Closes: bug#431175.
Checksums-Sha1:
a472033966fd1922e5afc19b5303a0d208779785 1934 fact++_1.5.3~dfsg-1.dsc
6ced94f3aff9cbc649ae0404d769e31db3d83616 377384 fact++_1.5.3~dfsg.orig.tar.gz
39cbe5db38f84d924d3871bcb3de65c277123353 7121 fact++_1.5.3~dfsg-1.debian.tar.gz
867fa804996166e92bb9254247d89b24511e1704 425304 fact++_1.5.3~dfsg-1_amd64.deb
Checksums-Sha256:
0ba2e7c977bde28c84bdf55b71b14312ad5fe63f667d7dba1fa8c8b81a5efdf2 1934
fact++_1.5.3~dfsg-1.dsc
0642f4340ffad01cdbb97b763074e96c1a87e0bfbfa55e076f45343f999631ae 377384
fact++_1.5.3~dfsg.orig.tar.gz
75ae655056fe014c52c300f565ff9a28f2da50368c446663d80ecd18d69547cb 7121
fact++_1.5.3~dfsg-1.debian.tar.gz
e6fcd2c7197b418abb3549e6d8bf6866d68e4559ea575f21473460334bdf4573 425304
fact++_1.5.3~dfsg-1_amd64.deb
Files:
8450a5cd2ed40ef4e47a52844076b53c 1934 x11 optional fact++_1.5.3~dfsg-1.dsc
3b340d96ed87db5ff5113c68b6f5986a 377384 x11 optional
fact++_1.5.3~dfsg.orig.tar.gz
bd2cd7060422a4b50aee4ad7647ede97 7121 x11 optional
fact++_1.5.3~dfsg-1.debian.tar.gz
d4ea161b92be1977498ba02216caea2c 425304 x11 optional
fact++_1.5.3~dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJP61KXAAoJECx8MUbBoAEh4OsP/0CMueTmjBB/gx+BTO0SuyEP
bpMxPCphOXn9YPt63AUaFgvts/E7VjZMlD59+fncIIWvs0CXNbaezjBp+5kVXBK9
m2CeEuV7t41csBd4Ri8UN2Xtx2PuvqJcAD/+3UgZBhO9kSD4MTc8CU5GaZR1gSW2
Cs6fyWMfLZJAZIx8je1QzZiqe6C8c1+h9QNWebE3nPeSsVjA6umAHjAMLdVTu9Rr
Kz79hZPbcvcAvKuU28cwLFwaqZg03t+tdWlxWhqWbvh8ak9LrI65pYtbCvXmbtOz
qtL7wJnwWG+WFFC56aQ+qu9yHjxPs4jCOZLOZULmWu4OBCukR4VPP5v2AacP6pnh
xKZ0savE844e6l6kT6yVBL8yd/fTIzPwff8wDBYqq78ol1LjRNxA8wMWx/YaitCb
Wnc7g5BPA5aBXGxWDJ8YrZVy8H9wdv3OqXfItf5vUHZJoR7OYR29Y1h83OENPdMc
h/yjq4A4klnT4szGCLe0jp/Ck54bOArvBJ4hJb4wSEbiJXy+D7/+h6b3Kg3UluTf
1AR8rT5xPEhhQF1JpUtJqEvatprTjWo+9kf/pyZjEHbqRVxbkNxr8JHSqaQrUg1b
oqryBUxOrf4HKePeXNd98I+aXcwSllQhgexK69bNwDIqTsTHvjI0sIbBy7PthksD
Ia+ynVv/WtD3LWERowO2
=N+oM
-----END PGP SIGNATURE-----
--- End Message ---
