How to Install and Uninstall psmt2-frontend Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 22,2024

1. Install "psmt2-frontend" package

Please follow the guidelines below to install psmt2-frontend on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                psmt2-frontend
            
                    
    
    Copied

2. Uninstall "psmt2-frontend" package

Please follow the steps below to uninstall psmt2-frontend on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                psmt2-frontend
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the psmt2-frontend package on Ubuntu 24.04 LTS (Noble Numbat)

Package: psmt2-frontend
Architecture: amd64
Version: 0.4.0-3build1
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1766
Depends: libc6 (>= 2.38), libpsmt2-frontend-ocaml (= 0.4.0-3build1)
Filename: pool/universe/p/psmt2-frontend/psmt2-frontend_0.4.0-3build1_amd64.deb
Size: 491794
MD5sum: cd217f1f9d1f8d08b86ed9f65d535aee
SHA1: 2ee8d501f46c031096fbbe8ea4b5d40ff8ed3776
SHA256: 2b46c848fd72419b3c223018d58fb2822cc968bfb3bd896f3d044d8805fe6c78
SHA512: abe6aa998e7b25b9093f3e500915da5b09ebfc8dbcdd8baf45b7b9052c306b8b286e421b73ade34141db256799134de480bb6cf3f05a08b5a12c2692012eb066
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (tool)
Description-md5: 2d5610c80b47eeb02aa7185c192c1441