How to Install and Uninstall fact++ Package on Linux Mint 21.3 (Virginia)

Last updated: December 24,2024

1. Install "fact++" package

In this section, we are going to explain the necessary steps to install fact++ on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                fact++
            
                    
    
    Copied

2. Uninstall "fact++" package

Please follow the guidance below to uninstall fact++ on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                fact++
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the fact++ package on Linux Mint 21.3 (Virginia)

Package: fact++
Architecture: amd64
Version: 1.6.5~dfsg-3
Priority: optional
Section: universe/x11
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Jonas Smedegaard
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1210
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Filename: pool/universe/f/fact++/fact++_1.6.5~dfsg-3_amd64.deb
Size: 341732
MD5sum: 0af553d00dcf7957f6eeac52db4a7e64
SHA1: d9051bd2bec929bca78403a79a9efea18b805d11
SHA256: 8b79610996d17b99737cad079ecd08a2fae1f591ddc507fe1b179d293b1985b2
SHA512: 7f146f3cff5a4f7daec486faa9b1510bbcb4771095d2a61643f13b8eb11ea6d0830d6543de5a023ebc7348d89ead79e021ff2a9ade73c434e5178816b510f7f1
Homepage: http://owl.man.ac.uk/factplusplus/
Description: description logic reasoner for the semantic web
Description-md5: 88cb5425bc675c40172d29e65d93fe2e