Package: konclude Architecture: amd64 Version: 0.6.2~dfsg-3 Priority: optional Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Jonas Smedegaard <dr@jones.dk> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 9092 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), 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_amd64.deb Size: 1871702 MD5sum: 46aaac3c9f67b1c92382a4993d114d64 SHA1: 312b2529241b29b873bbd99343e60396db0e661b SHA256: f6211b673b917ccd8e09770832ee15a3bb83ed96e0d0426d228ee9b3068e0c29 Homepage: http://www.konclude.com/ Description: tableau-based description logic reasoner for the semantic web Description-md5: f37f10d798d4beb08adeb381d93571c5