Package: konclude Architecture: i386 Version: 0.6.2~dfsg-3 Priority: optional Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Jonas Smedegaard Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 9043 Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.2), libqt5core5a (>= 5.6.0~beta), libqt5network5 (>= 5.6.0~beta), libqt5xml5 (>= 5.2.0), libstdc++6 (>= 5.2), dbus-x11 Filename: pool/universe/k/konclude/konclude_0.6.2~dfsg-3_i386.deb Size: 2050614 MD5sum: 251171c03c54c689947511ea01d37a9a SHA1: beabe0fd820eb070e4254bfe27354d763c63f5ff SHA256: c8ca3443b1aca942781622eece759ec0131a825cb4232be68f1e44f06625cf93 Homepage: http://www.konclude.com/ Description: tableau-based description logic reasoner for the semantic web Description-md5: f37f10d798d4beb08adeb381d93571c5