How to Install and Uninstall konclude Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 24,2024

1. Install "konclude" package

Please follow the guidance below to install konclude on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                konclude
            
                    
    
    Copied

2. Uninstall "konclude" package

In this section, we are going to explain the necessary steps to uninstall konclude on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                konclude
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the konclude package on Ubuntu 23.10 (Mantic Minotaur)

Package: konclude
Architecture: amd64
Version: 0.7.0+1138+git20220514~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: 20792
Depends: default-dbus-session-bus | dbus-session-bus, libc6 (>= 2.34), 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.15), librasqal3 (>= 0.9.31), librdf0 (>= 1.0.17), libstdc++6 (>= 5.2)
Filename: pool/universe/k/konclude/konclude_0.7.0+1138+git20220514~dfsg-1_amd64.deb
Size: 3217650
MD5sum: aa5519d08090200eeba84fa8f966b66b
SHA1: efa75edfc1b7c10abf60d94148d08dc046687bf1
SHA256: dd504602694e76cc9a3b2a89214d7d82cda21ba451e181c382dda4864f4937a9
SHA512: 9d9301bf42b0fb7f25ba69896f814954081461878b5f719155344762d71a18526e98ce3f117e54d61d9e1ced736e9f35f089fdaf65d1533cfde7449ebbc3d059
Homepage: http://www.konclude.com/
Description: tableau-based description logic reasoner for the semantic web
Description-md5: be956a63cc81d3b287d3fb94fd010637