How to Install and Uninstall minlog Package on Debian 11 (Bullseye)

Last updated: May 18,2024

1. Install "minlog" package

This guide let you learn how to install minlog on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minlog
            
                    
    
    Copied

2. Uninstall "minlog" package

Please follow the steps below to uninstall minlog on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Debian 11 (Bullseye)

Package: minlog
Version: 4.0.99.20100221-7
Installed-Size: 7555
Maintainer: Debian QA Group
Architecture: all
Depends: racket | guile
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Description: Proof assistant based on first order natural deduction calculus
Description-md5: 5282cef3106afd8fdee9635a8a3692bd
Homepage: http://www.minlog-system.de
Section: math
Priority: optional
Filename: pool/main/m/minlog/minlog_4.0.99.20100221-7_all.deb
Size: 2628820
MD5sum: 7b3af3a9cfda4575bddc6923fe364ac7
SHA256: 46fa0a7969d3952746a65a7cbd0821475b87a5d7a20d3e2e5bcd356ae5b83efe