How to Install and Uninstall alt-ergo Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 09,2024

1. Install "alt-ergo" package

Please follow the guidelines below to install alt-ergo on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                alt-ergo
            
                    
    
    Copied

2. Uninstall "alt-ergo" package

This tutorial shows how to uninstall alt-ergo on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                alt-ergo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the alt-ergo package on Ubuntu 22.10 (Kinetic Kudu)

Package: alt-ergo
Architecture: amd64
Version: 2.4.2-2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 64896
Depends: libnum-ocaml-bq435, libpsmt2-frontend-ocaml-jao91, libzarith-ocaml-4dps0, libzip-ocaml-kj2q1, ocaml-base-4.13.1, libc6 (>= 2.35), libgmp10 (>= 2:6.2.1+dfsg), zlib1g (>= 1:1.1.4)
Filename: pool/universe/a/alt-ergo/alt-ergo_2.4.2-2_amd64.deb
Size: 17933544
MD5sum: 1d21d7639644620b03d49b2dcc663559
SHA1: 62acc1830c6651ccbf217b7f96f7a9a4985cd3c5
SHA256: 7580f7defffecd8943afe56968c79c9229fb97623ed8f76d71d64180a8f2dfa4
SHA512: 994d73f6ed80ee740542bb313cc4a0ee5565e54109bd79ee2166100ab6c505457a2e400bbc82e3377670391b0a8ecf01ce931d8887574d6c585a22465674d8c6
Homepage: https://alt-ergo.ocamlpro.com
Description: Automatic theorem prover dedicated to program verification
Description-md5: 43aeaf4639ddb0ba40f96e616cc23624