How to Install and Uninstall alt-ergo Package on Linux Mint 21.3 (Virginia)

Last updated: December 24,2024

1. Install "alt-ergo" package

This guide let you learn how to install alt-ergo on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                alt-ergo
            
                    
    
    Copied

2. Uninstall "alt-ergo" package

This guide covers the steps necessary to uninstall alt-ergo on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                alt-ergo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the alt-ergo package on Linux Mint 21.3 (Virginia)

Package: alt-ergo
Architecture: amd64
Version: 2.0.0-8build1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9980
Depends: libc6 (>= 2.34), libgmp10 (>= 2:6.2.1+dfsg), zlib1g (>= 1:1.1.4), libnum-ocaml-bq435, ocaml-base-4.13.1
Filename: pool/universe/a/alt-ergo/alt-ergo_2.0.0-8build1_amd64.deb
Size: 2381066
MD5sum: 793520ccdbb4cce9dabb8ae26af09a0a
SHA1: e5928d91e8f11570a51557bb4e99506bc25d08fe
SHA256: f56162425e5d69e2270a697cf3a3dada3d3b340a204963a5d29591fc253fca19
SHA512: 37d1084fa22d82df90715cfd5df69d6103c83f742293813ed8f7bcae3656aae5815dce771a6ee98737e9518277ef6cdc102332a53c0ff2b33d10474eef049174
Homepage: https://alt-ergo.ocamlpro.com
Description: Automatic theorem prover dedicated to program verification
Description-md5: 43aeaf4639ddb0ba40f96e616cc23624