Mon, 13 May 2024 01:01:46 UTC | login

Information for RPM ocaml-facile-1.1.4-7.fc40.riscv64.rpm

ID1162389
Nameocaml-facile
Version1.1.4
Release7.fc40
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 Time2023-12-29 18:15:51 GMT
Size760.15 KB
a269cc0031698db4fd88349656211652
LicenseLGPL-2.1-or-later
Buildrootf40-build-768429-125306
Provides
ocaml(Facile) = 3f1e8a751d0a4fca351686a4898f9ea8
ocaml(Facile__) = d0e728c57047a596c7bad1a26c736e9a
ocaml(Facile__Fcl_alldiff) = 5ecc8c8fb51e757fa65ec02aba646b25
ocaml(Facile__Fcl_arith) = df1d6312494b848eed31e0e891a2298c
ocaml(Facile__Fcl_boolean) = 0f211b489cd335d920257065ca1f00d5
ocaml(Facile__Fcl_conjunto) = 40765376115a8abbcfaf4e053fab53d9
ocaml(Facile__Fcl_cstr) = a6ff4ec73658fae1a1b8530233190b07
ocaml(Facile__Fcl_data) = f74687bfd6cd0b8f16ac2ad9f222cb75
ocaml(Facile__Fcl_debug) = 4a1e17aa13fa927e190fadfe5480eb63
ocaml(Facile__Fcl_domain) = 98aa44233595e50e1abcd5d6b6b9d605
ocaml(Facile__Fcl_expr) = 7ea80ac528b82ed8427c2983780c771b
ocaml(Facile__Fcl_fdArray) = 4cf850757e761a438b510653e1c9b5eb
ocaml(Facile__Fcl_float) = 5b0cba93b6cada33bb9ed70d0141bdd2
ocaml(Facile__Fcl_gcc) = 1f20264e2fadaef9c36985e510df0367
ocaml(Facile__Fcl_genesis) = 2d4fc1dc638a842bfd9b1d41c4afc953
ocaml(Facile__Fcl_goals) = fba475a8b2db98c1f868bc83e9cc7ac5
ocaml(Facile__Fcl_interval) = cf8626f663573301ba19e4e5a6e60f3b
ocaml(Facile__Fcl_invariant) = abee5bb6ad73aeb865498488b0e75d6c
ocaml(Facile__Fcl_linear) = cf2902eae903846e2ed49ada5b88caba
ocaml(Facile__Fcl_misc) = bb59c6098bba3881897e18a23a6cd90e
ocaml(Facile__Fcl_nonlinear) = fd766ce786f31df0250dcb1783fe7bde
ocaml(Facile__Fcl_opti) = f6f7893a5bd7203d1442c0ab31f3613e
ocaml(Facile__Fcl_reify) = d2c39c0efa25b1722d2c565e3c4c6528
ocaml(Facile__Fcl_setDomain) = 8d8ca0ef0f920045115363bf75362fe4
ocaml(Facile__Fcl_sorting) = ecd3cecf67c4b5517958ddd7568d728b
ocaml(Facile__Fcl_stak) = 85a5059192e64ef6baa273afc3609678
ocaml(Facile__Fcl_var) = 2c561af84ad3cd66341dd1919f38fbda
ocaml-facile = 1.1.4-7.fc40
ocaml-facile(riscv-64) = 1.1.4-7.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae
ocaml(Facile__) = d0e728c57047a596c7bad1a26c736e9a
ocaml(Facile__Fcl_alldiff) = 5ecc8c8fb51e757fa65ec02aba646b25
ocaml(Facile__Fcl_arith) = df1d6312494b848eed31e0e891a2298c
ocaml(Facile__Fcl_boolean) = 0f211b489cd335d920257065ca1f00d5
ocaml(Facile__Fcl_conjunto) = 40765376115a8abbcfaf4e053fab53d9
ocaml(Facile__Fcl_cstr) = a6ff4ec73658fae1a1b8530233190b07
ocaml(Facile__Fcl_data) = f74687bfd6cd0b8f16ac2ad9f222cb75
ocaml(Facile__Fcl_debug) = 4a1e17aa13fa927e190fadfe5480eb63
ocaml(Facile__Fcl_domain) = 98aa44233595e50e1abcd5d6b6b9d605
ocaml(Facile__Fcl_expr) = 7ea80ac528b82ed8427c2983780c771b
ocaml(Facile__Fcl_fdArray) = 4cf850757e761a438b510653e1c9b5eb
ocaml(Facile__Fcl_float) = 5b0cba93b6cada33bb9ed70d0141bdd2
ocaml(Facile__Fcl_gcc) = 1f20264e2fadaef9c36985e510df0367
ocaml(Facile__Fcl_goals) = fba475a8b2db98c1f868bc83e9cc7ac5
ocaml(Facile__Fcl_interval) = cf8626f663573301ba19e4e5a6e60f3b
ocaml(Facile__Fcl_invariant) = abee5bb6ad73aeb865498488b0e75d6c
ocaml(Facile__Fcl_linear) = cf2902eae903846e2ed49ada5b88caba
ocaml(Facile__Fcl_misc) = bb59c6098bba3881897e18a23a6cd90e
ocaml(Facile__Fcl_nonlinear) = fd766ce786f31df0250dcb1783fe7bde
ocaml(Facile__Fcl_opti) = f6f7893a5bd7203d1442c0ab31f3613e
ocaml(Facile__Fcl_reify) = d2c39c0efa25b1722d2c565e3c4c6528
ocaml(Facile__Fcl_setDomain) = 8d8ca0ef0f920045115363bf75362fe4
ocaml(Facile__Fcl_sorting) = ecd3cecf67c4b5517958ddd7568d728b
ocaml(Facile__Fcl_stak) = 85a5059192e64ef6baa273afc3609678
ocaml(Facile__Fcl_var) = 2c561af84ad3cd66341dd1919f38fbda
ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf
ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120
ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351
ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08
ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868
ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f
ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f
ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328
ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a
ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5
ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8
ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c
ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab
ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3
ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48
ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5
ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c
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/3b0.00 B
/usr/lib/.build-id/3b/4b6ece3d1d842a71f98b56504a932e307c304646.00 B
/usr/lib64/ocaml/facile0.00 B
/usr/lib64/ocaml/facile/META168.00 B
/usr/lib64/ocaml/facile/facile.cma677.93 KB
/usr/lib64/ocaml/facile/facile.cmi21.38 KB
/usr/lib64/ocaml/facile/facile.cmxs942.52 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.cmi622.00 B
/usr/lib64/ocaml/facile/facile__Fcl_domain.cmi1.96 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.cmi989.00 B
/usr/lib64/ocaml/facile/facile__Fcl_gcc.cmi699.00 B
/usr/lib64/ocaml/facile/facile__Fcl_genesis.cmi390.00 B
/usr/lib64/ocaml/facile/facile__Fcl_goals.cmi2.36 KB
/usr/lib64/ocaml/facile/facile__Fcl_interval.cmi616.00 B
/usr/lib64/ocaml/facile/facile__Fcl_invariant.cmi2.31 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.cmi774.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.77 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
f40-build-775423-128052 2024-01-16 15:19:34 expired
f40-build-772040-126049 2024-01-06 17:31:37 expired
f40-build-770613-125855 2024-01-02 16:44:34 expired