How to Install and Uninstall minlog Package on Debian 10 (Buster)

Last updated: December 29,2024

1. Install "minlog" package

This guide let you learn how to install minlog on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minlog
            
                    
    
    Copied

2. Uninstall "minlog" package

In this section, we are going to explain the necessary steps to uninstall minlog on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Debian 10 (Buster)

Package: minlog
Version: 4.0.99.20100221-6
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-6_all.deb
Size: 2629614
MD5sum: d0b8f292d0634f014573e4f53f98b1ab
SHA256: 3e13f2302ba849aed07e071cd3d03e43ed1cdadabdb805dd0e5d5ad903c33fc6