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

Last updated: November 26,2024

1. Install "libfacile-ocaml-dev" package

This tutorial shows how to install libfacile-ocaml-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libfacile-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libfacile-ocaml-dev" package

Please follow the guidelines below to uninstall libfacile-ocaml-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libfacile-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libfacile-ocaml-dev package on Kali Linux

Package: libfacile-ocaml-dev
Source: facile (1.1.4-3)
Version: 1.1.4-3+b1
Installed-Size: 7863
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libfacile-ocaml-dev-g3pd9
Depends: libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Suggests: ocaml-findlib
Size: 1850936
SHA256: d73088155276556b44808a43a3c5c13cd7aaf616005ae76caa9e087f21a529c8
SHA1: 2d8cb519b46939f30ef164489852f3b2b8bb3aa4
MD5sum: e8b094f9ea34921ef781a3bca9dba388
Description: functional constraint library implemented in Objective Caml
FaCiLe is a constraint programming library over integer finite domain
written in Objective Caml. It offers all usual facilities to create
and manipulate finite domain variables, arithmetic expressions and
constraints (possibly non-linear), built-in global constraints and
search goals. FaCiLe allows as well to build easily user-defined
constraints and goals (including recursive ones), making pervasive use
of OCaml higher-order functionals to provide a simple and flexible
interface for the user. As FaCiLe is an OCaml library and not "yet
another language", the user benefits from type inference and strong
typing discipline, high level of abstraction, modules and objects
system, as well as native code compilation efficiency, garbage
collection and replay debugger, all features of OCaml (among many
others) that allow to prototype and experiment quickly: modeling, data
processing and interface are implemented with the same powerful and
efficient language.
Description-md5:
Homepage: http://facile.recherche.enac.fr/
Tag: devel::lang:ocaml, devel::library, implemented-in::ocaml,
role::devel-lib
Section: ocaml
Priority: optional
Filename: pool/main/f/facile/libfacile-ocaml-dev_1.1.4-3+b1_amd64.deb