Package: konclude Architecture: amd64 Version: 0.7.0+1138~dfsg-1 Priority: optional Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Jonas Smedegaard 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