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

Last updated: May 18,2024

1. Install "libpsmt2-frontend-ocaml" package

Please follow the instructions below to install libpsmt2-frontend-ocaml on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml
            
                    
    
    Copied

2. Uninstall "libpsmt2-frontend-ocaml" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpsmt2-frontend-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpsmt2-frontend-ocaml
Architecture: amd64
Version: 0.4.0-3build1
Priority: optional
Section: universe/ocaml
Source: psmt2-frontend
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3555
Provides: libpsmt2-frontend-ocaml-orsx4
Depends: libstdlib-ocaml-ep7y0, ocaml-base-4.14.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-3build1_amd64.deb
Size: 1134480
MD5sum: 7a7c45c64a79e77d4219f0c9943dbece
SHA1: fc0bfdf3ebf753c5e1ba6d34a4757aa56f90a227
SHA256: 2a608b810769c8fad12ff3179f1e3cba3b520a2cc14768038c51540325572dec
SHA512: 248517c2dd6c31b1c7c3fdf7049e3cdf2e02924662072b56f9ffc120c17a41284b06a9c73158a9c72d41083e2548083c8450a552d969cc7d132eb1fab119fce7
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (runtime files)
Description-md5: fe163c52ae883e12ada3674e552f9b19