How to Install and Uninstall minlog Package on Linux Mint 20.3 (Una)

Last updated: May 11,2024

1. Install "minlog" package

This is a short guide on how to install minlog on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minlog
            
                    
    
    Copied

2. Uninstall "minlog" package

This guide let you learn how to uninstall minlog on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Linux Mint 20.3 (Una)

Package: minlog
Architecture: all
Version: 4.0.99.20100221-6
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-6_all.deb
Size: 2629612
MD5sum: 813497256f6c548b5123fb9e1c441c92
SHA1: cfcd2c2cedaf863f527f7e3c51bc2643634afc54
SHA256: aec45032f58b03a627deb58d6c5dcfd9965bc2eb52a258e2f9d541b1b73a7462
Homepage: http://www.minlog-system.de
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd