libfacile-ocaml-dev - functional constraint library implemented in Objective Caml

Property Value
Distribution Debian 9 (Stretch)
Repository Debian Main i386
Package filename libfacile-ocaml-dev_1.1.1-1_i386.deb
Package name libfacile-ocaml-dev
Package version 1.1.1
Package release 1
Package architecture i386
Package type deb
Category devel::library implemented-in::ocaml ocaml
License -
Maintainer Debian OCaml Maintainers <>
Download size 553.54 KB
Installed size 2.10 MB
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.


Package Version Architecture Repository
libfacile-ocaml-dev_1.1.1-1_amd64.deb 1.1.1 amd64 Debian Main
libfacile-ocaml-dev - - -


Name Value
ocaml-nox-4.02.3 -


Name Value
libfacile-ocaml-dev-l6676 -


Type URL
Binary Package libfacile-ocaml-dev_1.1.1-1_i386.deb
Source Package facile

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libfacile-ocaml-dev deb package:
    # sudo apt-get install libfacile-ocaml-dev




2016-01-17 - Mehdi Dogguy <>
facile (1.1.1-1) unstable; urgency=medium
* Team upload.
* New upstream release
- Refresh patches
- Remove 0005-Fix-compilation-with-OCaml-4.01.0.patch, integrated
2013-12-07 - Stéphane Glondu <>
facile (1.1-9) unstable; urgency=low
[ Stéphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.01.0 (Closes: #731218)
* Remove myself from Uploaders
* Update Vcs-*
[ Mehdi Dogguy ]
* Remove myself from Uploaders.
2011-08-17 - Stéphane Glondu <>
facile (1.1-8) unstable; urgency=low
* debian/control:
- update Vcs-* to point to git repository
- remove duplicate section field
- add suggestion to ocaml-findlib
- bump Standards-Version to 3.9.2 (no changes)
* Switch source package format to 3.0 (quilt)
* Bump debhelper compat level to 8
2009-10-06 - Mehdi Dogguy <>
facile (1.1-7) unstable; urgency=low
[ Stéphane Glondu ]
* Acknowledge non-maintainer uploads
* Switch packaging to git
* Remove Steffen and add myself to Uploaders
* Bump debhelper compatibility level to 7
* Remove versioned dependencies available in oldstable
* Switch copyright to machine-parsable format
* Add Homepage
* Move to new ocaml section
* Fix typography of Objective Caml in description
[ Mehdi Dogguy ]
* Add myself to uploaders
* Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~)
* Use new features of dh-ocaml 0.9
* Bump Standards-Version to 3.8.3
+ add a README.source
* Move libfacile-ocaml-dev to section ocaml
* Add a META for libfacile-ocaml-dev (Closes: #443005)
2008-10-09 - Loic Minier <>
facile (1.1-6.3) unstable; urgency=low
* Call clean in examples/ manually as upstream's Makefile wont and cdbs
doesn't keep the patches applied when cleaning.
* Fix ocamlopt usage; closes: #501672.
- New dpatch, 30-non-opt-check, ocamlopt isn't available on all arches;
don't use it for make check.
- New patch, 40-allow-ocamlc-override-in-examples, allow overriding OCAMLC
in examples by using separate _INVOKE vars to run misc commands.
2008-10-02 - Loic Minier <>
facile (1.1-6.2) unstable; urgency=low
[ Stefano Zacchiroli ]
* fix vcs-svn field to point just above the debian/ dir
[ Loic Minier ]
* Non-maintainer upload to fix misc packaging bugs; closes: #500830.
* Only compute OCAML_ABI once by using := instead of =.
* Don't overwrite DEB_DH_GENCONTROL_ARGS and use -u instead of -- to pass
args to dpkg-gencontrol in a safer manner.
* Include instead of calling dpatch manually; NB: this will cause
the patches to be applied before running configure which is more useful,
but doesn't change anything with the current patches; bump up cdbs bdep to
>= 0.4.21.
* Use the cdbs class instead of the autotools one.
- Move the configure flag to a new custom common-configure-impl /
config_Makefile rule.
- Drop --disable-maintainer-mode exclusion hack.
- Don't call make clean in clean; cdbs does that for us.
* Drop redundant setting of FACILEDIR with the echo >config_Makefile
construct; the configure flag works fine.
* Replace debian/ template and logic with
DEB_INSTALL_DIRS_ALL; fixes lack of cleanup of
this sets the same environment for all make runs.
* Add year 2004 to copyright.
* Point at common-licenses for the full text of the LGPL and include the
full licensing header.
* Depend on ${misc:Depends} as recommended in debhelper 5.
* Set DEB_MAKE_CHECK_TARGET to check to run the testsuite during package
* Use Vcs-* headers instead of XS-Vcs-*.
* Bump up Standards-Version to 3.8.0.
* Provide examples/*.ml and examples/*.dat as examples; closes: #446804.

See Also

Package Description
libfaifa-dev_0.2~svn82-1+b2_i386.deb manage HomePlug 1.0/AV devices via ethernet frames - devel library
libfaifa0_0.2~svn82-1+b2_i386.deb manage HomePlug 1.0/AV devices via ethernet frames - library
libfailures-perl_0.004-1_all.deb minimalist exception hierarchy generator
libfakechroot_2.19-3_i386.deb gives a fake chroot environment - runtime
libfakekey-dev_0.1-9_i386.deb library for converting characters to X key-presses [development]
libfakekey-doc_0.1-9_all.deb library for converting characters to X key-presses [documentation]
libfakekey0_0.1-9_i386.deb library for converting characters to X key-presses [runtime]
libfakeroot_1.21-3.1_i386.deb tool for simulating superuser privileges - shared libraries
libfaketime_0.9.6-7+b1_i386.deb report faked system time to programs
libfam-dev_2.7.0-17.2+b1_i386.deb Client library to control the FAM daemon - development files
libfam0_2.7.0-17.2+b1_i386.deb Client library to control the FAM daemon
libfam0c102_2.7.0-17.2_all.deb Dummy package for libfam0
libfann-dev_2.2.0+ds-3_i386.deb Development libraries and header files for FANN
libfann-doc_2.2.0+ds-3_all.deb API documentation for FANN
libfann2_2.2.0+ds-3_i386.deb Fast Artificial Neural Network Library