ocaml-alt-ergo-lib-2.3.3-2.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.

This package is the core of Alt-Ergo as an OCaml library.

Provides

• ocaml-alt-ergo-lib
• ocaml(AltErgoLib)
• ocaml(AltErgoLib__Ac)
• ocaml(AltErgoLib__Adt)
• ocaml(AltErgoLib__Adt_rel)
• ocaml(AltErgoLib__Arith)
• ocaml(AltErgoLib__Arrays)
• ocaml(AltErgoLib__Arrays_rel)
• ocaml(AltErgoLib__Bitv)
• ocaml(AltErgoLib__Bitv_rel)
• ocaml(AltErgoLib__Ccx)
• ocaml(AltErgoLib__Cnf)
• ocaml(AltErgoLib__Commands)
• ocaml(AltErgoLib__Config)
• ocaml(AltErgoLib__Emap)
• ocaml(AltErgoLib__Enum)
• ocaml(AltErgoLib__Enum_rel)
• ocaml(AltErgoLib__Errors)
• ocaml(AltErgoLib__Explanation)
• ocaml(AltErgoLib__Expr)
• ocaml(AltErgoLib__Fpa_rounding)
• ocaml(AltErgoLib__Frontend)
• ocaml(AltErgoLib__Fun_sat)
• ocaml(AltErgoLib__Gc_debug)
• ocaml(AltErgoLib__Hconsing)
• ocaml(AltErgoLib__Hstring)
• ocaml(AltErgoLib__Iheap)
• ocaml(AltErgoLib__Inequalities)
• ocaml(AltErgoLib__Input)
• ocaml(AltErgoLib__Instances)
• ocaml(AltErgoLib__IntervalCalculus)
• ocaml(AltErgoLib__Intervals)
• ocaml(AltErgoLib__Ite)
• ocaml(AltErgoLib__Ite_rel)
• ocaml(AltErgoLib__Lists)
• ocaml(AltErgoLib__Loc)
• ocaml(AltErgoLib__Matching)
• ocaml(AltErgoLib__Matching_types)
• ocaml(AltErgoLib__MyDynlink)
• ocaml(AltErgoLib__MyUnix)
• ocaml(AltErgoLib__Numbers)
• ocaml(AltErgoLib__NumbersInterface)
• ocaml(AltErgoLib__NumsNumbers)
• ocaml(AltErgoLib__Options)
• ocaml(AltErgoLib__Parsed)
• ocaml(AltErgoLib__Parsed_interface)
• ocaml(AltErgoLib__Polynome)
• ocaml(AltErgoLib__Profiling)
• ocaml(AltErgoLib__Records)
• ocaml(AltErgoLib__Records_rel)
• ocaml(AltErgoLib__Relation)
• ocaml(AltErgoLib__Sat_solver)
• ocaml(AltErgoLib__Sat_solver_sig)
• ocaml(AltErgoLib__Satml)
• ocaml(AltErgoLib__Satml_frontend)
• ocaml(AltErgoLib__Satml_frontend_hybrid)
• ocaml(AltErgoLib__Satml_types)
• ocaml(AltErgoLib__Shostak)
• ocaml(AltErgoLib__Sig)
• ocaml(AltErgoLib__Sig_rel)
• ocaml(AltErgoLib__Symbols)
• ocaml(AltErgoLib__Th_util)
• ocaml(AltErgoLib__Theory)
• ocaml(AltErgoLib__Timers)
• ocaml(AltErgoLib__Ty)
• ocaml(AltErgoLib__Typechecker)
• ocaml(AltErgoLib__Typed)
• ocaml(AltErgoLib__Uf)
• ocaml(AltErgoLib__Use)
• ocaml(AltErgoLib__Util)
• ocaml(AltErgoLib__Var)
• ocaml(AltErgoLib__Vec)
• ocaml(AltErgoLib__Version)
• ocaml(AltErgoLib__Xliteral)
• ocaml(AltErgoLib__ZarithNumbers)
• ocaml-alt-ergo-lib(x86-64)

Requires

• ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6
• ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1
• ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09
• ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805
• ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3
• ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7
• ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af
• ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c
• ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f
• ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7
• ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6
• ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc
• ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82
• ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839
• ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf
• ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1
• ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492
• ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322
• ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f
• ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c
• ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65
• ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d
• ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee
• ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6
• ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5
• ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7
• ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78
• ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021
• ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29
• ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509
• ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5
• ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34
• ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0
• ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339
• ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1
• ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d
• ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70
• ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617
• ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd
• ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95
• ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f
• ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700
• ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e
• ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7
• ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810
• ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a
• ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2
• ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c
• ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f
• ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60
• ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6
• ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477
• ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189
• ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a
• ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9
• ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3
• ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e
• ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8
• ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32
• ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70
• ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa
• ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986
• ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1
• ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d
• ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62
• ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0
• ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38
• ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
• ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1
• ocaml(Dynlink) = fecb619bede234b520106e08984c0058
• ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db
• ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28
• ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23
• ocaml(Q) = fded9f6db30753026b5c2d3012382e71
• ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38
• ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
• ocaml(Stdlib__Bigarray) = 7130a1b8b3b987c6ffc6c2c613151f82
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2
• ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Gc) = fbebf2afd3d1f8efe1dbf7a69fdc88ab
• ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
• ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
• ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
• ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
• ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
• ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3
• ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
• ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11
• ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e
• ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
• ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f
• ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627
• ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
• ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620
• ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b
• ocaml(Unix) = e9521192ee8ef808261c548f0ea7683f
• ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

Apache-2.0

Changelog

* Fri Jun 20 2025 daviddavid <daviddavid> 2.3.3-2.mga10
  + Revision: 2193100
  - exclude 32bit arches
  - rebuild for ocaml 5.3.0

Files

/usr/lib64/ocaml/alt-ergo-lib
/usr/lib64/ocaml/alt-ergo-lib-free
/usr/lib64/ocaml/alt-ergo-lib-free/META
/usr/lib64/ocaml/alt-ergo-lib-free/dune-package
/usr/lib64/ocaml/alt-ergo-lib-free/opam
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cma
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxs
/usr/lib64/ocaml/alt-ergo-lib/META
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi
/usr/share/licenses/ocaml-alt-ergo-lib
/usr/share/licenses/ocaml-alt-ergo-lib/LGPL-License.txt
/usr/share/licenses/ocaml-alt-ergo-lib/LICENSE.md
/usr/share/licenses/ocaml-alt-ergo-lib/License.OCamlPro

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 21 04:50:13 2025