How to Install and Uninstall minlog Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 26,2024

You can also install and uninstall the minlog 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 "minlog" package

This tutorial shows how to install minlog on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minlog
            
                    
    
    Copied

2. Uninstall "minlog" package

Please follow the guidance below to uninstall minlog on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: minlog
Architecture: all
Version: 4.0.99.20100221-7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7555
Depends: racket | guile
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-7_all.deb
Size: 2629048
MD5sum: e0573285f6840daabb8ceb06c33bf18c
SHA1: c7c67566040dd41b709e36e13176236978802c89
SHA256: 7f216f0a3df681c5d4cb9242cb4d549ec4cac27ed3a88fdbd8e652c45f5d32d6
SHA512: 835fa88ee705077361602305d46942960e8b5b523932d4b5069fefd07a04b4abeaf9bbd8b1cbcc80a5245e85d4864513d4ddb46901a7e5a399eed5c66142a09a
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd