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

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package name libfacile-ocaml-dev
Package version 1.1.1
Package release 1+b1
Package architecture i386
Package type deb
Installed size 2.15 KB
Download size 567.24 KB
Official Mirror
Description -


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


Name Value
ocaml-nox-4.05.0 -


Name Value
libfacile-ocaml-dev-imfi4 -


Type URL
Binary Package libfacile-ocaml-dev_1.1.1-1+b1_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
libfacter3.11.0_3.11.0-1+b2_i386.deb collect and display facts about the system -- shared library
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.23-1_i386.deb tool for simulating superuser privileges - shared libraries
libfaketime_0.9.7-3_i386.deb Report faked system time to programs (preload library)
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