How to Install and Uninstall libfacile-ocaml-dev Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 09,2024

1. Install "libfacile-ocaml-dev" package

Please follow the steps below to install libfacile-ocaml-dev on Ubuntu 21.04 (Hirsute Hippo)

$ sudo apt update $ sudo apt install libfacile-ocaml-dev

2. Uninstall "libfacile-ocaml-dev" package

Please follow the steps below to uninstall libfacile-ocaml-dev on Ubuntu 21.04 (Hirsute Hippo):

$ sudo apt remove libfacile-ocaml-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libfacile-ocaml-dev package on Ubuntu 21.04 (Hirsute Hippo)

Package: libfacile-ocaml-dev
Architecture: amd64
Version: 1.1.3-1build1
Priority: optional
Section: universe/libdevel
Source: facile
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2849
Provides: libfacile-ocaml-dev-9rdx6
Depends: ocaml-nox-4.11.1
Suggests: ocaml-findlib
Filename: pool/universe/f/facile/libfacile-ocaml-dev_1.1.3-1build1_amd64.deb
Size: 648916
MD5sum: 05ffe9a6edb80b90a62b6b354d5edc7f
SHA1: 8438fbfd93151cd1c00c8b6bc8141dac0575b79b
SHA256: db57948be2969992a6d5de426181b58ed0b66a37b0c892405cbae8b6e57f0fc7
SHA512: 0cf448140dc41a84020ff047a8a453f4cd9923773d3acee7d3eb5624ac09815fa0d5f840ff2d99b1965468a5a83026b07de08981221d5572e7e4799f3136d323
Homepage: http://facile.recherche.enac.fr/
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