-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-3b699f421b 2025-02-07 02:06:08.585099+00:00 -------------------------------------------------------------------------------- Name : ocaml-facile Product : Fedora 41 Version : 1.1.4 Release : 13.fc41 URL : http://facile.recherche.enac.fr/ 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: See https://ocaml.org/releases/5.2.1 for changes in ocaml 5.2.1. All other packages were rebuilt for OCaml 5.2.1. VCS fields were added for packages lacking them. Other changes are as follows: alt-ergo: Correct the License fields from Apache-2.0 to CECILL-C apron: Add an upstream patch to fix segfaults in OCaml GC coccinelle: Build in verbose mode haxe: Add patch to fix missing labels errors and warnings hevea: Install into %_texmf_main instead of %_texmf ocaml-cairo: Update to version 0.6.5; see https://github.com/Chris00/ocaml- cairo/blob/master/CHANGES.md ocaml-calendar: Add a patch for a time zone-specific test failure ocaml-camlidl: Add an upstream patch to fix segfaults in OCaml GC ocaml-camlp5-buildscripts: Update to version 0.04; see https://github.com/camlp5/camlp5-buildscripts/blob/master/CHANGES ocaml-camomile: Correct the Licene field from Unicode-TOU to Unicode-3.0 ocaml-cppo: Update to version 1.8.0; see https://github.com/ocaml- community/cppo/blob/master/Changes.md ocaml-cryptokit: Use zlib-ng instead of zlib ocaml-csexp: Bump dune lang from 3.15 to 3.17 ocaml-ctypes: Add patch to fix FTBFS in a test ocaml-dune: Update to version 3.17.2; see https://github.com/ocaml/dune/blob/main/CHANGES.md. Also update the License field for changes in vendored dependencies and drop the upstreamed furo patch. ocaml-extlib: Update to version 1.8.0; see https://github.com/ygrek/ocaml- extlib/blob/master/CHANGES ocaml-fileutiles: Update to version 0.6.6 ocaml-findlib: Update to version 1.9.8; see https://github.com/ocaml/ocamlfind/blob/master/doc/README.xml. Also change config name to findlib.conf to match upstream. ocaml-gsl: Update to version 1.25.1; see https://github.com/mmottl/gsl- ocaml/blob/master/CHANGES.md. Also, drop upstreamed patch to link with flexiblas after gsl. ocaml-lacaml: Update to version 11.1.1; see https://github.com/mmottl/lacaml/blob/master/CHANGES.md ocaml-lwt: Update to version 5.9.0; see https://github.com/ocsigen/lwt/blob/master/CHANGES ocaml-mdx: Update to version 2.5.0; see https://github.com/realworldocaml/mdx/blob/main/CHANGES.md ocaml-merlin: Update to version 5.3-502; see https://github.com/ocaml/merlin/releases/tag/v5.3-502 ocaml-odoc: Update to version 2.4.4; see https://github.com/ocaml/odoc/blob/master/CHANGES.md ocaml-pcre: Update to version 8.0.2; see https://github.com/mmottl/pcre- ocaml/blob/master/CHANGES.md ocaml-pcre2: Update to version 8.0.2; https://github.com/mmottl/pcre2-ocaml/blob/main/CHANGES.md ocaml-postgresql: Update to version 5.1.3; drop all patches ocaml-pp: Update to version 2.0.0; see https://github.com/ocaml- dune/pp/blob/master/CHANGES.md ocaml-ppx-deriving-yojson: Update to version 3.9.1; see https://github.com/ocaml-ppx/ppx_deriving_yojson/blob/master/CHANGELOG.md ocaml-qcheck: Update to version 0.23; see https://github.com/c-cube/qcheck/blob/main/CHANGELOG.md ocaml-re: Update to version 1.13.3; see https://github.com/ocaml/ocaml- re/blob/master/CHANGES.md ocaml-res: Update to version 5.0.2; see https://github.com/mmottl/res/releases/tag/5.0.2 ocaml-sedlex: Update to version 3.3; see https://github.com/ocaml- community/sedlex/blob/master/CHANGES.md ocaml-spdx-licenses: Update to version 1.3.0; see https://github.com/kit-ty- kate/spdx_licenses/blob/main/CHANGES.md ocaml-sqlite: Update to version 5.2.0; see https://github.com/mmottl/sqlite3-ocaml/releases/tag/5.2.0 ocaml-version: Update to version 3.7.3; see https://github.com/ocurrent/ocaml- version/blob/master/CHANGES.md ocaml-zip: Update to version 1.13; see https://github.com/xavierleroy/camlzip/blob/master/Changes. Also, use zlib-ng instead of zlib. opam: Update to version 2.3.0; see https://github.com/ocaml/opam/blob/master/CHANGES z3: Update to version 4.13.4; see https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md -------------------------------------------------------------------------------- ChangeLog: * Tue Jan 28 2025 Jerry James <loganjerry@xxxxxxxxx> - 1.1.4-13 - OCaml 5.2.1 rebuild for Fedora 41 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-3b699f421b' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label 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 -------------------------------------------------------------------------------- -- _______________________________________________ package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
