Name: ocaml-alt-ergo-lib	Distribution: Fedora Project
Version: 2.3.3	Vendor: Fedora Project
Release: 22.fc41	Build date: Mon Aug 5 18:38:16 2024
Group: Unspecified	Build host: buildhw-a64-22.iad2.fedoraproject.org
Size: 11525362	Source RPM: alt-ergo-2.3.3-22.fc41.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) = 5a081e867ffb55fc83dc3425ded51666
ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206
ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e
ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c
ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6
ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e
ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10
ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65
ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64
ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371
ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a
ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31
ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649
ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e
ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623
ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182
ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef
ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc
ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4
ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347
ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0
ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4
ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286
ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30
ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c
ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c
ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b
ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3
ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04
ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f
ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49
ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a
ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354
ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e
ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295
ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba
ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b
ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b
ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45
ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964
ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291
ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685
ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717
ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c
ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180
ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520
ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e
ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00
ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151
ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811
ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a
ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f
ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c
ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098
ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545
ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8
ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7
ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095
ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b
ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271
ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f
ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a
ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c
ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2
ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4
ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d
ocaml(AltErgoLib__ZarithNumbers) = 4cca2c10929ad29a5f8701e94e44c8c5
ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea
ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af
ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597
ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb
ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c
ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df
ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42
ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092
ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3
ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a
ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26
ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827
ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca
ocaml(Str) = dae36249353ed938af10fa5eb52188c6
ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda
ocaml(Z) = ca2658ea343645ad5d4facceca973ce7
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

* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-22
  - Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-21
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-20
  - Rebuild for ocaml-zarith 1.14
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-19
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-18
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Add patch to fix misplaced inline attributes
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Rebuild for changed ocamlx(Dynlink) hash
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-14
  - Rebuild for ocaml-num and ocaml-menhir 20231231
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-13
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-12
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-11
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-10
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-8
  - Validate appdata with appstream-util
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-8
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-7
  - OCaml 5.0.0 rebuild
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/53
/usr/lib/.build-id/53/ebdd3cc5a7812d00e18991ec893f2e7a303c54
/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, Wed Oct 30 04:43:44 2024

ocaml-alt-ergo-lib-2.3.3-22.fc41 RPM for aarch64

From Fedora 41 for aarch64 / o

Provides

Requires

License

Changelog

Files