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

Last updated: May 19,2024

1. Install "libpsmt2-frontend-ocaml" package

Please follow the guidelines below to install libpsmt2-frontend-ocaml on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml
            
                    
    
    Copied

2. Uninstall "libpsmt2-frontend-ocaml" package

Please follow the guidance below to uninstall libpsmt2-frontend-ocaml on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpsmt2-frontend-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpsmt2-frontend-ocaml package on Ubuntu 22.10 (Kinetic Kudu)

Package: libpsmt2-frontend-ocaml
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: 2277
Provides: libpsmt2-frontend-ocaml-jao91
Depends: ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-1_amd64.deb
Size: 684996
MD5sum: 6e76cd8cce87e1583c8b17d864c6cbf0
SHA1: 74ab25bececeb9feedf2f06c59335b687ebae4aa
SHA256: ed2cb80e2f7469028ad2fb2a9088742bbc3b7d7624e2f83068dea23ce2a45462
SHA512: 83c9183d87db24a9191ecc93c07158a26088d7092bc43090fcc02105f1aa0068abfe504c65aa5456b39a91027e0d5900f640bb64b3732e205d8226c3c53212d7
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (runtime files)
Description-md5: fe163c52ae883e12ada3674e552f9b19