Package: konclude
Priority: optional
Section: universe/science
Installed-Size: 21180
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.7.0+1138+git20220514~dfsg-1build4
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-1build4_amd64.deb
Size: 3317352
SHA512: 82c4c3501eed0b77060d515afb4121ec63fc44dd4b7cd964ae77e8fa5d8d716d19d71d824133f573e6cdbbca24d6f51afa3025601d449ede96da4df9fb4539db
Homepage: http://www.konclude.com/
Description: tableau-based description logic reasoner for the semantic web
Description-md5: be956a63cc81d3b287d3fb94fd010637
Original-Maintainer: Jonas Smedegaard <dr@jones.dk>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug