How to Install and Uninstall minlog Package on Debian 12 (Bookworm)

Last updated: November 22,2024

You can also install and uninstall the minlog on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "minlog" package

This guide let you learn how to install minlog on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minlog
            
                    
    
    Copied

2. Uninstall "minlog" package

Here is a brief guide to show you how to uninstall minlog on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Debian 12 (Bookworm)

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