How to Install and Uninstall libpsmt2-frontend-ocaml-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: January 24,2025

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

Learn how to install libpsmt2-frontend-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml-dev
            
                    
    
    Copied

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

Please follow the step by step instructions below to uninstall libpsmt2-frontend-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                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 22.10 (Kinetic Kudu)

Package: libpsmt2-frontend-ocaml-dev
Architecture: amd64
Version: 0.4.0-1
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: 5863
Provides: libpsmt2-frontend-ocaml-dev-jao91
Depends: libpsmt2-frontend-ocaml-jao91, ocaml-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-1_amd64.deb
Size: 1288628
MD5sum: b1a588d7841dd6203b544a5764a67a41
SHA1: c8852442066bb9ccf307793c0bf14416ead3bfcd
SHA256: fa1ec7f24179fdb250e32fb7623bbd07e6fb960d086ef69083beb2d7759a32d7
SHA512: c03f747dbe6b50d9b42bda6af40ad67e2b323a9e9fb67c417c1279edac141f0e6a8fa6e815f1393b01ccc862362f9edf48967f5f6581cd3b7130f8d998997c63
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf