How to Install and Uninstall libfacile-ocaml-dev Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 18,2024

1. Install "libfacile-ocaml-dev" package

Please follow the step by step instructions below to install libfacile-ocaml-dev on Ubuntu 20.10 (Groovy Gorilla)

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

2. Uninstall "libfacile-ocaml-dev" package

Please follow the instructions below to uninstall libfacile-ocaml-dev on Ubuntu 20.10 (Groovy Gorilla):

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

3. Information about the libfacile-ocaml-dev package on Ubuntu 20.10 (Groovy Gorilla)

Package: libfacile-ocaml-dev
Architecture: amd64
Version: 1.1.3-1
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: 2654
Provides: libfacile-ocaml-dev-2acm9
Depends: ocaml-nox-4.08.1
Suggests: ocaml-findlib
Filename: pool/universe/f/facile/libfacile-ocaml-dev_1.1.3-1_amd64.deb
Size: 584464
MD5sum: 75d3b92978cf0ca2481dc6aba7d330b1
SHA1: 2235e14175bb53a24fa7fe9eb8197c700a2e5123
SHA256: 8dea60e3153f08588f4005090ee2cee23243becc9c3ca5967b3405da8aeed6e6
SHA512: d9caeacd896c844c14a3a5acee325970339a5220be790ba0cd088ca5354d79d9ad83f5156c63199ccb0b46cc0e16a34460b4ddbd36c3117b1f7b14b1cf1c4a25
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