How to Install and Uninstall libpsmt2-frontend-ocaml-dev Package on Debian 12 (Bookworm)

Last updated: December 24,2024

You can also install and uninstall the libpsmt2-frontend-ocaml-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

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

Please follow the instructions below to install libpsmt2-frontend-ocaml-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpsmt2-frontend-ocaml-dev
            
                    
    
    Copied

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

This tutorial shows how to uninstall libpsmt2-frontend-ocaml-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                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 Debian 12 (Bookworm)

Package: libpsmt2-frontend-ocaml-dev
Source: psmt2-frontend (0.4.0-1)
Version: 0.4.0-1+b1
Installed-Size: 8315
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libpsmt2-frontend-ocaml-dev-2n7g5
Depends: libpsmt2-frontend-ocaml-2n7g5, ocaml-4.13.1
Recommends: ocaml-findlib
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf
Homepage: https://github.com/ACoquereau/psmt2-frontend
Section: ocaml
Priority: optional
Filename: pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-1+b1_amd64.deb
Size: 1472532
MD5sum: a71c27b32283c6eca3b4a133169fa591
SHA256: 9494e91f85ba55956086f46897f5266dab276180fcd32562f698c8250ae5f78b