Package: konclude
Architecture: amd64
Version: 0.7.0+1138~dfsg-1
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: 20891
Depends: default-dbus-session-bus | dbus-session-bus | dbus-x11, libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libjemalloc2 (>= 5.0.0), libqt5concurrent5 (>= 5.6.0~rc), libqt5core5a (>= 5.15.1), libqt5network5 (>= 5.0.2), libqt5xml5 (>= 5.1.0), libraptor2-0 (>= 2.0.14), librasqal3 (>= 0.9.31), librdf0 (>= 1.0.17), libstdc++6 (>= 5.2)
Filename: pool/universe/k/konclude/konclude_0.7.0+1138~dfsg-1_amd64.deb
Size: 3212882
MD5sum: e9b44613d078dfe1b9d38547db144e98
SHA1: b582818bf2259fc49f27219eb4772700f03ce536
SHA256: 93c010b2d6bc0a0d21ad97e1b73ebb6d214225342da9942228711e3d33319d7e
SHA512: 30ebdfd9c2b3f1feac9772822fc729c66d10c934107a79b57b422ec3f8d7fa0eca6f811f36ab77f2fcca1b05f62745b92e46fd29df2282387b1cecc45e772251
Homepage: http://www.konclude.com/
Description: tableau-based description logic reasoner for the semantic web
Description-md5: be956a63cc81d3b287d3fb94fd010637