Package: konclude Priority: optional Section: universe/science Installed-Size: 7137 Maintainer: Ubuntu Developers Original-Maintainer: Jonas Smedegaard 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