Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: facile | Distribution: Mageia |
Version: 1.1.3 | Vendor: Mageia.Org |
Release: 13.mga9 | Build date: Thu May 19 10:38:15 2022 |
Group: System/Libraries | Build host: localhost |
Size: 2677481 | Source RPM: facile-1.1.3-13.mga9.src.rpm |
Packager: pterjan <pterjan> | |
Url: http://opti.recherche.enac.fr/ | |
Summary: Constraint programming library |
FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.
LGPLv2
* Thu May 19 2022 pterjan <pterjan> 1.1.3-13.mga9 + Revision: 1858889 - Rebuild for OCaml 4.14 * Tue Mar 29 2022 umeabot <umeabot> 1.1.3-12.mga9 + Revision: 1832128 - Mageia 9 Mass Rebuild * Fri Oct 15 2021 tv <tv> 1.1.3-11.mga9 + Revision: 1751527 - Rebuild for ocaml 4.13.1 * Wed Oct 13 2021 tv <tv> 1.1.3-10.mga9 + Revision: 1750849 - Rebuild for ocaml 4.13.1 * Wed Mar 03 2021 tv <tv> 1.1.3-9.mga9 + Revision: 1697198 - rebuild for ocaml-4.2-12 * Fri Aug 21 2020 umeabot <umeabot> 1.1.3-8.mga8 + Revision: 1617562 - Rebuild for new ocaml deps generator
/usr/lib64/ocaml/facile /usr/lib64/ocaml/facile/facile.a /usr/lib64/ocaml/facile/facile.cma /usr/lib64/ocaml/facile/facile.cmi /usr/lib64/ocaml/facile/facile.cmxa /usr/lib64/ocaml/facile/facile.mli /usr/lib64/ocaml/facile/fcl_alldiff.mli /usr/lib64/ocaml/facile/fcl_arith.mli /usr/lib64/ocaml/facile/fcl_boolean.mli /usr/lib64/ocaml/facile/fcl_conjunto.mli /usr/lib64/ocaml/facile/fcl_cstr.mli /usr/lib64/ocaml/facile/fcl_data.mli /usr/lib64/ocaml/facile/fcl_debug.mli /usr/lib64/ocaml/facile/fcl_domain.mli /usr/lib64/ocaml/facile/fcl_expr.mli /usr/lib64/ocaml/facile/fcl_fdArray.mli /usr/lib64/ocaml/facile/fcl_float.mli /usr/lib64/ocaml/facile/fcl_gcc.mli /usr/lib64/ocaml/facile/fcl_genesis.mli /usr/lib64/ocaml/facile/fcl_goals.mli /usr/lib64/ocaml/facile/fcl_interval.mli /usr/lib64/ocaml/facile/fcl_invariant.mli /usr/lib64/ocaml/facile/fcl_linear.mli /usr/lib64/ocaml/facile/fcl_misc.mli /usr/lib64/ocaml/facile/fcl_nonlinear.mli /usr/lib64/ocaml/facile/fcl_opti.mli /usr/lib64/ocaml/facile/fcl_reify.mli /usr/lib64/ocaml/facile/fcl_setDomain.mli /usr/lib64/ocaml/facile/fcl_sorting.mli /usr/lib64/ocaml/facile/fcl_stak.mli /usr/lib64/ocaml/facile/fcl_var.mli /usr/share/doc/facile /usr/share/doc/facile/LICENSE /usr/share/doc/facile/README
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Dec 26 11:51:49 2024