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

Last updated: July 07,2024

1. Install "libpsmt2-frontend-ocaml-dev" package

This is a short guide on how to install libpsmt2-frontend-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libpsmt2-frontend-ocaml-dev" package

Here is a brief guide to show you how to uninstall libpsmt2-frontend-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpsmt2-frontend-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpsmt2-frontend-ocaml-dev
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: 6596
Provides: libpsmt2-frontend-ocaml-dev-orsx4
Depends: libpsmt2-frontend-ocaml-orsx4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3build1_amd64.deb
Size: 1460458
MD5sum: f34df2740f512b8219833738dfea4c02
SHA1: 94e871cd075200f111983bdf0301734e0d32dc19
SHA256: d6176d8f4a49ab793dec2bbcf3b138f60aed2ddf1351ae479dc924ad5e8a605a
SHA512: a90d1d4194b2fdf26f7d20b1c076cea04f18bed2fe6fba56fa41f60e8d3f674ae704c8618c02673b4623747e9c67195308b3c55ed5c763c9ed22d198f7416d51
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf