Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-facile-1.1.4-2.5 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

Name: ocaml-facile Distribution: openSUSE Tumbleweed
Version: 1.1.4 Vendor: openSUSE
Release: 2.5 Build date: Mon Apr 4 06:04:04 2022
Group: Development/Languages/OCaml Build host: reproducible
Size: 1058101 Source RPM: ocaml-facile-1.1.4-2.5.src.rpm
Packager: https://bugs.opensuse.org
Url: https://github.com/Emmanuel-PLF/facile
Summary: Ocaml Constraint Programming Library
 
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 as well allows you 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, a 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.

Provides

Requires

License

LGPL-2.1+

Changelog

* Mon Apr 04 2022 ohering@suse.de
  - Add ocaml-facile.patch for dune 3
  - Remove obsolete ocaml-4.patch
* Thu Feb 20 2020 ohering@suse.de
  - Update to 1.1.4
    build with dune
  - Refresh ocaml-4.patch
  - Require current ocaml-rpm-macros
* Fri Nov 01 2019 ohering@suse.de
  - Require current dune macros
* Tue Jul 25 2017 ohering@suse.de
  - Use Group: Development/Languages/OCaml
* Wed May 31 2017 olaf@aepfle.de
  - Replace tabs with spaces in generated _oasis file
* Tue May 16 2017 olaf@aepfle.de
  - Build with oasis
* Mon May 23 2016 olaf@aepfle.de
  - Apply ocaml4 patch unconditionally for d:l:o
* Sat Apr 06 2013 hrvoje.senjan@gmail.com
  - Added ocaml-4.patch, fixes build with ocaml 4
  - Add Source URL
  - Clean the spec file
* Tue Nov 20 2012 nico.kruber@gmail.com
  - Fix the SLES build (%make_install is not expanded on SLES)
* Mon Jun 04 2007 dmueller@suse.de
  - Initial package (1.1)

Files

/usr/lib64/ocaml
/usr/lib64/ocaml/facile
/usr/lib64/ocaml/facile/facile.cmxs
/usr/share/doc/packages/ocaml-facile
/usr/share/doc/packages/ocaml-facile/CHANGES.md
/usr/share/licenses/ocaml-facile
/usr/share/licenses/ocaml-facile/LICENSE.md

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 19 01:14:14 2024