Package: konclude Architecture: amd64 Version: 0.7.0+1138+git20220514~dfsg-1build3 Priority: optional Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Jonas Smedegaard Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 20872 Depends: default-dbus-session-bus | dbus-session-bus, libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libjemalloc2 (>= 5.0.0), libqt5concurrent5t64 (>= 5.6.0~rc), libqt5core5t64 (>= 5.15.1), libqt5network5t64 (>= 5.0.2), libqt5xml5t64 (>= 5.1.0), libraptor2-0 (>= 2.0.15), librasqal3t64 (>= 0.9.31), librdf0t64 (>= 1.0.17), libstdc++6 (>= 13.1) Filename: pool/universe/k/konclude/konclude_0.7.0+1138+git20220514~dfsg-1build3_amd64.deb Size: 3226370 MD5sum: 6743e029f2f0c83814b02984f1193231 SHA1: 81fa6e328edd21730982eb850f3ffb72eb884d1d SHA256: 3bc8666c419d60a9e7d56eaa0759b582aa012fa71708f3d9d30ee5684d90f333 SHA512: 8fefd02573f745bccf7b071b5b72cae505c14d202bca5bd6e93c15e2e1cba5fac39e97c0d2f099e2d0adddb1031a431d2a230844b2f4580023db2c120ca7c083 Homepage: http://www.konclude.com/ Description: tableau-based description logic reasoner for the semantic web Description-md5: be956a63cc81d3b287d3fb94fd010637