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

Last updated: May 16,2024

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

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml-dev
            
                    
    
    Copied

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

Learn how to uninstall libpsmt2-frontend-ocaml-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                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 23.10 (Mantic Minotaur)

Package: libpsmt2-frontend-ocaml-dev
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: 8661
Provides: libpsmt2-frontend-ocaml-dev-ap7c6
Depends: libpsmt2-frontend-ocaml-ap7c6, ocaml-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3_amd64.deb
Size: 1883524
MD5sum: b7404b901bea43cfaa93b332c9e1db95
SHA1: c137ddc3dca27ee514f674a7d0d696d4ac7a54fa
SHA256: b3f6c2114c63f0ddeb76bd1691d20f30a531f8ae64a5cd5ec86e95a94431d737
SHA512: c75178af26b3c931f736db31cf305f6fda76c7563c85377e4e28d971cfcb073e6b2d221d997a1876168fd7fcc0d31f03e404e56ccbfbf7dc7d601f8bad8f61b5
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf