Name: ocaml-alt-ergo-lib	Distribution: Fedora Project
Version: 2.3.3	Vendor: Fedora Project
Release: 6.fc38	Build date: Fri Mar 24 17:22:54 2023
Group: Unspecified	Build host: buildvm-s390x-01.s390.fedoraproject.org
Size: 10590194	Source RPM: alt-ergo-2.3.3-6.fc38.src.rpm
Packager: Fedora Project
Url: https://alt-ergo.ocamlpro.com/
Summary: Automated theorem prover library

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

Requires

ocaml(AltErgoLib) = 9eb66ead7c16505345480d13d62e19da
ocaml(AltErgoLib__Ac) = ce5bc384acfde88d8754e98ef3878c2e
ocaml(AltErgoLib__Adt) = 5936b5e6260bc74eca9142d5046dc836
ocaml(AltErgoLib__Adt_rel) = 704fd51ce41ccf594921193cbade044d
ocaml(AltErgoLib__Arith) = 61f70bd28d710ae7b615ee74f7edcad0
ocaml(AltErgoLib__Arrays) = 02b2fa56f51840de162bda316c245a27
ocaml(AltErgoLib__Arrays_rel) = 5ad8ee9a95812c8098788d5eafd488e4
ocaml(AltErgoLib__Bitv) = 6320ae1a827b7214c306dccb09394092
ocaml(AltErgoLib__Bitv_rel) = 7f57c749eb5cd50056261ee507834620
ocaml(AltErgoLib__Ccx) = 16470fc407d5b9688a7ac17103b06eb7
ocaml(AltErgoLib__Cnf) = 964fa121fc1a8055a1a0e7515fbc22de
ocaml(AltErgoLib__Commands) = 296631d292f69eda2970d219d2dba588
ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf
ocaml(AltErgoLib__Emap) = 0964a35d786914dc48575066fe104ca0
ocaml(AltErgoLib__Enum) = 9e0e53df6d5390cf838a9352e00b4a56
ocaml(AltErgoLib__Enum_rel) = 3cd8b56b35d5e8b6526d2f017fb91b88
ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c
ocaml(AltErgoLib__Explanation) = cb41b4d8d37190996392adeb41b62df5
ocaml(AltErgoLib__Expr) = 6fa355919f817f5185a0f8ca3d11cf46
ocaml(AltErgoLib__Fpa_rounding) = 0a762a5ff447c9c9fbd50c82a3780b66
ocaml(AltErgoLib__Fun_sat) = c15082a40a2fcc2e9bdc7a1f5f6928ed
ocaml(AltErgoLib__Hconsing) = aa950ff05bc34f6bb56017c946b0929e
ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0
ocaml(AltErgoLib__Iheap) = c50136a95ccc5d1db02b38b271f82e23
ocaml(AltErgoLib__Inequalities) = 4a6b1996a7c5386d5e4a20d93ba7e227
ocaml(AltErgoLib__Instances) = 5156c9729dad854d23aff6518c2f7edb
ocaml(AltErgoLib__IntervalCalculus) = 937a6f3563a5ee9f9dd59cde1b7db022
ocaml(AltErgoLib__Intervals) = ef23773ae063c7a5d11575ca0273f9c3
ocaml(AltErgoLib__Ite) = b8ee2546edf14396ecf727ca2fb08758
ocaml(AltErgoLib__Ite_rel) = 411bf1fe65d87b39f5b0475a0e80a10f
ocaml(AltErgoLib__Lists) = d2f136049d58612f3807918682f31a09
ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1
ocaml(AltErgoLib__Matching) = decf14f3bf4b30b22fefaa47c0eb2e32
ocaml(AltErgoLib__Matching_types) = 18e84cb4d29a22a17535546ecb60b399
ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148
ocaml(AltErgoLib__MyUnix) = de114fa3a6d42d8bd24b96bbae489942
ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10
ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3
ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a
ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d
ocaml(AltErgoLib__Polynome) = 19753a6ac56e7fd7db9f9ad20dfacafe
ocaml(AltErgoLib__Profiling) = 84becef63bb1581fb29712561d05b53d
ocaml(AltErgoLib__Records) = 7192168f0fd7b69756eca3725dc9229a
ocaml(AltErgoLib__Records_rel) = b6daff5184aa672160ce860c47093cf8
ocaml(AltErgoLib__Relation) = 889532e1cd9d1792e89a5b62f1d2ae1f
ocaml(AltErgoLib__Sat_solver_sig) = 959a00c2cde77586236464f9bfa13c56
ocaml(AltErgoLib__Satml) = 06e8850bed79ee187d8a48b713af2e28
ocaml(AltErgoLib__Satml_frontend) = 3d86d2311f4dc54f8210ca0032a82c99
ocaml(AltErgoLib__Satml_frontend_hybrid) = 1141d91899329cf905639a4dda3b4c8c
ocaml(AltErgoLib__Satml_types) = 4a6c2e8227afdf786a9032b2ae895bd2
ocaml(AltErgoLib__Shostak) = aee4ebdf0db343bbe808fe1ac7c8525e
ocaml(AltErgoLib__Sig) = f726c85171660981807d32a8ce4cff3e
ocaml(AltErgoLib__Sig_rel) = 4add60eef783e4c355cdbbc896aeac1f
ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1
ocaml(AltErgoLib__Th_util) = c4009ced4e0490e6b635a2a26457757e
ocaml(AltErgoLib__Theory) = 4cb4912e03d08f33a1bc7d9d26ff6b56
ocaml(AltErgoLib__Timers) = e27aba7e2fb08ba806f02708ed302eef
ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e
ocaml(AltErgoLib__Typed) = a8ff61a6bb7fc2a4549d357425c3b79a
ocaml(AltErgoLib__Uf) = 2b09597e0c041f0d2bddcfeae7aeae6b
ocaml(AltErgoLib__Use) = 90fd136e14fa59b36df99358cc32036b
ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0
ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f
ocaml(AltErgoLib__Vec) = 6225abb9e030add87cadea5da5042492
ocaml(AltErgoLib__Version) = 2b97fc6a9ace33016d21e6127bda60a5
ocaml(AltErgoLib__Xliteral) = 996435b0a5e471fe0d9b94e59004ef77
ocaml(AltErgoLib__ZarithNumbers) = aab2c26282eb9d39efc1f534422b5edf
ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(CamlinternalMod) = 2004005091bc8a61fe26ab15e0fb28e4
ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456
ocaml(Nat) = cf53074211ea56c636ac753b3faa2286
ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14
ocaml(OcplibSimplex) = db5a3500202b85aa9cc59c664092f504
ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b
ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee
ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Gc) = c3ec15218bd26e175e6d959e216eb39a
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251
ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f
ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8
ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1
ocaml(Stdlib__Scanf) = 5bfc827c9980349e00f2aa1f5eade58f
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a
ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d
ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
ocaml(Z) = a71ac4a535434978287848841376388e
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)

License

Apache-2.0

Changelog

* Fri Mar 24 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-6
  - Dune 3.7.0 changed the install location of mli files
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-5
  - Rebuild OCaml packages for F38
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-3
  - Convert License tag to SPDX
  - Note that the AB plugin has a different license
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 05 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-2
  - Patch out uses of the dune external-lib-deps command
  - Patch out references to the seq forward compatibility module
  - Use new OCaml macros
* Mon Jun 20 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-1
  - Version 2.3.3
  - Add -menhir patch to fix FTBFS
  - Add -stdlib-shims patch since Fedora does not need stdlib-shims
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 2.3.0-5
  - OCaml 4.14.0 rebuild
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 2.3.0-4
  - Switch to the correct tarball
  - Drop unneeded ocaml-findlib BR
  - Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 2.3.0-3
  - OCaml 4.13.1 rebuild to remove package notes
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 2.3.0-1
  - Version 2.3.0
  - New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-14
  - OCaml 4.13.1 build
* Thu Jul 29 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-13
  - Rebuild for changed ocamlx(Dynlink)
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.0-12
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Mon Jul 19 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-11
  - Move META to the main package
* Tue Jun 22 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-11
  - Rebuild for ocaml-lablgtk without gnomeui

Files

/usr/lib/.build-id
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/7d516793ce4c6a58bbc43a1b2d5f176f9aa61d
/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, Tue Apr 9 23:07:34 2024

ocaml-alt-ergo-lib-2.3.3-6.fc38 RPM for s390x

From Fedora 38 for s390x / o

Provides

Requires

License

Changelog

Files