How to Install and Uninstall science-logic Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: March 15,2025

You can also install and uninstall the science-logic on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "science-logic" package

Please follow the guidelines below to install science-logic on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                science-logic
            
                    
    
    Copied

2. Uninstall "science-logic" package

Learn how to uninstall science-logic on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                science-logic
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the science-logic package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: science-logic
Architecture: all
Version: 1.14.2ubuntu1
Priority: extra
Section: universe/metapackages
Source: debian-science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 42
Depends: science-config (= 1.14.2ubuntu1), science-tasks (= 1.14.2ubuntu1)
Recommends: agda, alt-ergo, boolector, clasp, coinor-cbc, coinor-symphony, coq, cvc4, depqbf, gringo, hol-light, hol88, lbt, maria, maude, minisat+, mona, picosat, proofgeneral, sat4j, spass, toulbar2, why3, z3
Suggests: coala, coinor-libcoinmp-dev, cvc3, mace2, matita, prover9, why
Filename: pool/universe/d/debian-science/science-logic_1.14.2ubuntu1_all.deb
Size: 4004
MD5sum: 2a042ebe9b6816b5e798df9784552ca7
SHA1: 25e2669c4f895b907d332f487f2eafb09aff671d
SHA256: 060683747510a8e50a25e450a67513f3f3f9b2f4a8b5869ab8f4dcdee632848a
SHA512: 8eab5fff41bf4c8a90bba8731a81d29589afba5f7134df6ea2cee3f1bcc13fa60e1a5ba7653075cb52b02b46c02d80b456898abf08d27e679d05feb88481362a
Homepage: https://wiki.debian.org/DebianScience/
Description: Debian Science Logic packages
Description-md5: 80226a1f4eed77145a13176d0af8c5dc