How to Install and Uninstall libpsmt2-frontend-ocaml Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 19,2024

1. Install "libpsmt2-frontend-ocaml" package

Please follow the instructions below to install libpsmt2-frontend-ocaml on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml
            
                    
    
    Copied

2. Uninstall "libpsmt2-frontend-ocaml" package

This tutorial shows how to uninstall libpsmt2-frontend-ocaml on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpsmt2-frontend-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpsmt2-frontend-ocaml package on Ubuntu 23.10 (Mantic Minotaur)

Package: libpsmt2-frontend-ocaml
Architecture: amd64
Version: 0.4.0-3
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: 5322
Provides: libpsmt2-frontend-ocaml-ap7c6
Depends: ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-3_amd64.deb
Size: 1734804
MD5sum: b88c21db33374c9bbc91c55902f30381
SHA1: ce6574c02ddbe30d17b46be6c7f922f90994cc85
SHA256: 8e9ccd23818d962924ce09e9191418cc07804e3261fc161f93174d4a2bb597ae
SHA512: 726543ecb88fa33381d913390962d35e7833dfccec579690bcd3b01851f808614bf380c58a37623b59e6321fd60d31a0c3445339d44348d99b21ae5f55715f7c
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (runtime files)
Description-md5: fe163c52ae883e12ada3674e552f9b19