How to Install and Uninstall libpsmt2-frontend-ocaml-dev Package on Kali Linux

Last updated: May 18,2024

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

Learn how to install libpsmt2-frontend-ocaml-dev on Kali Linux


    
        
            $
        

        
            
                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 Kali Linux:


    
        
            $
        

        
            
                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 Kali Linux

Package: libpsmt2-frontend-ocaml-dev
Source: psmt2-frontend (0.4.0-3)
Version: 0.4.0-3+b1
Installed-Size: 6598
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libpsmt2-frontend-ocaml-dev-orsx4
Depends: libpsmt2-frontend-ocaml-orsx4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Recommends: ocaml-findlib
Size: 1169576
SHA256: 7eafa010df8696145d61f657f3868902caf87f09528528aeedb68daa94633545
SHA1: 198aa8bd3c58a7d7a4b5a705083169f5365acda4
MD5sum: 2704cd68e5aab40a47dce4216a94d0e8
Description: Parse and type-check SMT-LIB 2 (dev files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
.
This package provides the dev files.
Description-md5:
Homepage: https://github.com/ACoquereau/psmt2-frontend
Section: ocaml
Priority: optional
Filename: pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3+b1_amd64.deb