Package: konclude
Priority: optional
Section: universe/science
Installed-Size: 7137
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Jonas Smedegaard <dr@jones.dk>
Architecture: i386
Version: 0.6.2~dfsg-1
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.2), libqt4-network (>= 4:4.6.1), libqt4-xml (>= 4:4.5.3), libqtcore4 (>= 4:4.8.0), libstdc++6 (>= 5.2), dbus-x11
Filename: pool/universe/k/konclude/konclude_0.6.2~dfsg-1_i386.deb
Size: 1957692
MD5sum: 0d1ea2d4bc5ec6120709621713a83411
SHA1: f24cda016318d1bc934462e9de5a7617b9282c2c
SHA256: 5fc2371d60d3e2684d8f4e24072bea4ea39e36165974264f78f8d8542cce106c
Description: tableau-based description logic reasoner for the semantic web
Homepage: http://www.konclude.com/
Description-md5: f37f10d798d4beb08adeb381d93571c5
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu