How to Install and Uninstall libfacile-ocaml-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 25,2024

1. Install "libfacile-ocaml-dev" package

This guide let you learn how to install libfacile-ocaml-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libfacile-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libfacile-ocaml-dev" package

This is a short guide on how to uninstall libfacile-ocaml-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libfacile-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libfacile-ocaml-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libfacile-ocaml-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 2487
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Source: facile
Version: 1.1.1-1
Provides: libfacile-ocaml-dev-8kps0
Depends: ocaml-nox-4.02.3
Suggests: ocaml-findlib
Filename: pool/universe/f/facile/libfacile-ocaml-dev_1.1.1-1_amd64.deb
Size: 561218
MD5sum: 22524709d6d8d82123c94c665a3a9a3b
SHA1: ca8e2a0ea67260c98a33ba5faae840eeb87e2e80
SHA256: e6bcc2db9e42883c9616cd5945517581c4c02d65e868caea2e2a9668dd0eebea
Description-en: 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: 499d25a77d0452e106bbebbd974877d0
Homepage: http://www.recherche.enac.fr/opti/facile/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu