Fedora 18 Update: ocaml-facile-1.1-19.fc18

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-20337
2012-12-14 06:37:20
--------------------------------------------------------------------------------

Name        : ocaml-facile
Product     : Fedora 18
Version     : 1.1
Release     : 19.fc18
URL         : http://www.recherche.enac.fr/log/facile/
Summary     : OCaml library for constraint programming
Description :
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml. It offers all usual facilities to create and
manipulate finite domain variables, arithmetic expressions and constraints
(possibly non-linear), built-in global constraints (difference, cardinality,
sorting etc.) and search and optimization 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.

--------------------------------------------------------------------------------
Update Information:

Update OCaml to attempt to fix RHBZ#877128.
--------------------------------------------------------------------------------
ChangeLog:

* Sun Oct 28 2012 Kevin Kofler <Kevin at tigcc.ticalc.org> - 1.1-19
- Rebuild for OCaml 4.00.1.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #877128 - Ocaml tries to allocate a ridiculous amount of memory
        https://bugzilla.redhat.com/show_bug.cgi?id=877128
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml-facile' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------