Tue, 26 Nov 2024 01:02:46 UTC | login

Information for RPM ocaml-facile-1.1.4-12.fc41.riscv64.rpm

ID1360606
Nameocaml-facile
Version1.1.4
Release12.fc41
Epoch
Archriscv64
SummaryOCaml library for constraint programming
DescriptionFaCiLe 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.
Build Time2024-07-24 11:29:34 GMT
Size763.89 KB
aaa42016668bb2b79bfe3a0fa88167bc
LicenseLGPL-2.1-or-later
git:https://github.com/Emmanuel-PLF/facile.git
Buildrootf41-build-819961-151984
Provides
ocaml(Facile) = f041f6da3f26cef46c67955b1d3d6b56
ocaml(Facile__) = c6d238e449edc6e69657854152db5057
ocaml(Facile__Fcl_alldiff) = c398b342e6e49409d3f94f412a5c51ba
ocaml(Facile__Fcl_arith) = c415c717a4551ae2e8c90f9f5b9dcf53
ocaml(Facile__Fcl_boolean) = c076c6465c6c66b63c35719a4103051f
ocaml(Facile__Fcl_conjunto) = db9df6b3e68746312368c3bcce940dd4
ocaml(Facile__Fcl_cstr) = 1280a12f9a909ef32c588cc298505915
ocaml(Facile__Fcl_data) = 650ef4b8b7bc77c9530918d336b82211
ocaml(Facile__Fcl_debug) = bc0f5d4d7f4e2b8c1211715380e4639a
ocaml(Facile__Fcl_domain) = d5e528c2a49e9bf08af75681142aa536
ocaml(Facile__Fcl_expr) = 1c152771fc3328ac9cd6656451c63eec
ocaml(Facile__Fcl_fdArray) = 455966a9694af8ee284ecc83e896437b
ocaml(Facile__Fcl_float) = 1b74fdffb5f4cf15e8bb608224fad10a
ocaml(Facile__Fcl_gcc) = cd379fbbd4391d865fa06e3f4b75a033
ocaml(Facile__Fcl_genesis) = 65c6ef5a19490e29d9bf8b1f4298e322
ocaml(Facile__Fcl_goals) = ee612aaea92afd8692e84af9ffc8aac1
ocaml(Facile__Fcl_interval) = 199086ff73039169c37c3917b332a7a1
ocaml(Facile__Fcl_invariant) = 89eaf34e1bf2d911065dd1492632905c
ocaml(Facile__Fcl_linear) = 032f9510e459a2a4b9ae15b7e195b0d5
ocaml(Facile__Fcl_misc) = 41d3ec541ee5e24ff94eb3fa4864c538
ocaml(Facile__Fcl_nonlinear) = 6e595928e6a9487f10e2e250ac30963c
ocaml(Facile__Fcl_opti) = e20be02a25059414059ceb10cc927d23
ocaml(Facile__Fcl_reify) = 8aaaded83c2a1f1e97f2bb93724fe34b
ocaml(Facile__Fcl_setDomain) = a7f246671ce3eb752b4464cb1d45d8d3
ocaml(Facile__Fcl_sorting) = d5f43188fb034d91c8fdda1e14844595
ocaml(Facile__Fcl_stak) = 4deec1696457481383c1fd07ef62f4d8
ocaml(Facile__Fcl_var) = 8006e99b7595491cf2e5a862d61647c7
ocaml-facile = 1.1.4-12.fc41
ocaml-facile(riscv-64) = 1.1.4-12.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(Facile__) = c6d238e449edc6e69657854152db5057
ocaml(Facile__Fcl_alldiff) = c398b342e6e49409d3f94f412a5c51ba
ocaml(Facile__Fcl_arith) = c415c717a4551ae2e8c90f9f5b9dcf53
ocaml(Facile__Fcl_boolean) = c076c6465c6c66b63c35719a4103051f
ocaml(Facile__Fcl_conjunto) = db9df6b3e68746312368c3bcce940dd4
ocaml(Facile__Fcl_cstr) = 1280a12f9a909ef32c588cc298505915
ocaml(Facile__Fcl_data) = 650ef4b8b7bc77c9530918d336b82211
ocaml(Facile__Fcl_debug) = bc0f5d4d7f4e2b8c1211715380e4639a
ocaml(Facile__Fcl_domain) = d5e528c2a49e9bf08af75681142aa536
ocaml(Facile__Fcl_expr) = 1c152771fc3328ac9cd6656451c63eec
ocaml(Facile__Fcl_fdArray) = 455966a9694af8ee284ecc83e896437b
ocaml(Facile__Fcl_float) = 1b74fdffb5f4cf15e8bb608224fad10a
ocaml(Facile__Fcl_gcc) = cd379fbbd4391d865fa06e3f4b75a033
ocaml(Facile__Fcl_goals) = ee612aaea92afd8692e84af9ffc8aac1
ocaml(Facile__Fcl_interval) = 199086ff73039169c37c3917b332a7a1
ocaml(Facile__Fcl_invariant) = 89eaf34e1bf2d911065dd1492632905c
ocaml(Facile__Fcl_linear) = 032f9510e459a2a4b9ae15b7e195b0d5
ocaml(Facile__Fcl_misc) = 41d3ec541ee5e24ff94eb3fa4864c538
ocaml(Facile__Fcl_nonlinear) = 6e595928e6a9487f10e2e250ac30963c
ocaml(Facile__Fcl_opti) = e20be02a25059414059ceb10cc927d23
ocaml(Facile__Fcl_reify) = 8aaaded83c2a1f1e97f2bb93724fe34b
ocaml(Facile__Fcl_setDomain) = a7f246671ce3eb752b4464cb1d45d8d3
ocaml(Facile__Fcl_sorting) = d5f43188fb034d91c8fdda1e14844595
ocaml(Facile__Fcl_stak) = 4deec1696457481383c1fd07ef62f4d8
ocaml(Facile__Fcl_var) = 8006e99b7595491cf2e5a862d61647c7
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f
ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 39 of 39
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/e40.00 B
/usr/lib/.build-id/e4/7ba63020c23ef91859911cf016180c15faf0c146.00 B
/usr/lib64/ocaml/facile0.00 B
/usr/lib64/ocaml/facile/META168.00 B
/usr/lib64/ocaml/facile/facile.cma678.59 KB
/usr/lib64/ocaml/facile/facile.cmi21.42 KB
/usr/lib64/ocaml/facile/facile.cmxs950.77 KB
/usr/lib64/ocaml/facile/facile__.cmi1.35 KB
/usr/lib64/ocaml/facile/facile__Fcl_alldiff.cmi666.00 B
/usr/lib64/ocaml/facile/facile__Fcl_arith.cmi1.79 KB
/usr/lib64/ocaml/facile/facile__Fcl_boolean.cmi594.00 B
/usr/lib64/ocaml/facile/facile__Fcl_conjunto.cmi1.22 KB
/usr/lib64/ocaml/facile/facile__Fcl_cstr.cmi1.58 KB
/usr/lib64/ocaml/facile/facile__Fcl_data.cmi1.03 KB
/usr/lib64/ocaml/facile/facile__Fcl_debug.cmi621.00 B
/usr/lib64/ocaml/facile/facile__Fcl_domain.cmi1.97 KB
/usr/lib64/ocaml/facile/facile__Fcl_expr.cmi1.32 KB
/usr/lib64/ocaml/facile/facile__Fcl_fdArray.cmi756.00 B
/usr/lib64/ocaml/facile/facile__Fcl_float.cmi990.00 B
/usr/lib64/ocaml/facile/facile__Fcl_gcc.cmi702.00 B
/usr/lib64/ocaml/facile/facile__Fcl_genesis.cmi390.00 B
/usr/lib64/ocaml/facile/facile__Fcl_goals.cmi2.37 KB
/usr/lib64/ocaml/facile/facile__Fcl_interval.cmi616.00 B
/usr/lib64/ocaml/facile/facile__Fcl_invariant.cmi2.30 KB
/usr/lib64/ocaml/facile/facile__Fcl_linear.cmi1.01 KB
/usr/lib64/ocaml/facile/facile__Fcl_misc.cmi1.14 KB
/usr/lib64/ocaml/facile/facile__Fcl_nonlinear.cmi1.35 KB
/usr/lib64/ocaml/facile/facile__Fcl_opti.cmi771.00 B
/usr/lib64/ocaml/facile/facile__Fcl_reify.cmi833.00 B
/usr/lib64/ocaml/facile/facile__Fcl_setDomain.cmi1.86 KB
/usr/lib64/ocaml/facile/facile__Fcl_sorting.cmi690.00 B
/usr/lib64/ocaml/facile/facile__Fcl_stak.cmi1.26 KB
/usr/lib64/ocaml/facile/facile__Fcl_var.cmi5.79 KB
/usr/share/doc/ocaml-facile0.00 B
/usr/share/doc/ocaml-facile/CHANGES.md164.00 B
/usr/share/doc/ocaml-facile/README.md1.82 KB
/usr/share/licenses/ocaml-facile0.00 B
/usr/share/licenses/ocaml-facile/LICENSE.md18.78 KB
Component of
1 through 3 of 3
Buildroot descending sort Created State
f41-build-860507-168945 2024-10-30 13:55:54 expired
f41-build-846263-162976 2024-09-12 11:25:50 expired
f41-build-825037-154262 2024-08-01 05:10:06 expired