Package: konclude Priority: optional Section: universe/science Installed-Size: 6909 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Jonas Smedegaard <dr@jones.dk> Architecture: amd64 Version: 0.6.2~dfsg-1 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), 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_amd64.deb Size: 1814032 MD5sum: 344522473bb3648bdcf4adfa98e69d9b SHA1: 187b0020729849c827e120342ec1e3791209ead9 SHA256: 754fdb81d8d2400c5a2af4ee0a05dc0ed9aad38976c5f4aa8f721b349454f4c9 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