How to Install and Uninstall minlog Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "minlog" package

Please follow the step by step instructions below to install minlog on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                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 Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Ubuntu 23.10 (Mantic Minotaur)

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