Name: ocaml-alt-ergo-lib	Distribution: Fedora Project
Version: 2.3.3	Vendor: Fedora Project
Release: 10.fc39	Build date: Thu Jul 27 18:29:49 2023
Group: Unspecified	Build host: buildvm-s390x-19.s390.fedoraproject.org
Size: 7058306	Source RPM: alt-ergo-2.3.3-10.fc39.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) = ce34a71b8ff0acf57da7f3ba64381627
ocaml(AltErgoLib__Ac) = 174b5fef89a104a16004cee66065beaa
ocaml(AltErgoLib__Adt) = 96ee8c91fdb6a771eaa8ddb722b55bb4
ocaml(AltErgoLib__Adt_rel) = 80d7a845a5b3592e575297c1a2d65754
ocaml(AltErgoLib__Arith) = 234b4a54deb9c2e1c8f0905853dcbdbc
ocaml(AltErgoLib__Arrays) = 4c327a6b45099282d4605419b6254196
ocaml(AltErgoLib__Arrays_rel) = 78a3cc6d19f2aed2c88edf173673c89a
ocaml(AltErgoLib__Bitv) = 1b7434b4a0e37451b03df2037cbdc38c
ocaml(AltErgoLib__Bitv_rel) = 6ccb53a01d774735f1386518c45cfd3f
ocaml(AltErgoLib__Ccx) = 86a4458dcaa94d174d3329da3f61b570
ocaml(AltErgoLib__Cnf) = 8d1c90a28f94e36ab30a1eb94efa0dd4
ocaml(AltErgoLib__Commands) = 991fbad215d061321354f55557fae5d6
ocaml(AltErgoLib__Config) = 8b97f72d99bf8375ca582a53eb1d2417
ocaml(AltErgoLib__Emap) = f5cbaa6c9b4da3c87f5b2f41e5dd8a34
ocaml(AltErgoLib__Enum) = f5213bdb6bfda32f9b25319784dc08be
ocaml(AltErgoLib__Enum_rel) = 21383d60ef03aa4c947fedb80b874ba8
ocaml(AltErgoLib__Errors) = bf5cb30dd914c1090b2fa6cd73dad55a
ocaml(AltErgoLib__Explanation) = 7b2ea25b711ce00ca26ce30106835997
ocaml(AltErgoLib__Expr) = 55dbf48aa3313f5c9cf270b66c380600
ocaml(AltErgoLib__Fpa_rounding) = def481745edf0522abf757f8459e738e
ocaml(AltErgoLib__Fun_sat) = 5ebed4c794803dfaf4c0b4fa0bb46943
ocaml(AltErgoLib__Hconsing) = fa688f5075d622ea7766078c0537973f
ocaml(AltErgoLib__Hstring) = e5cf26e419195148644f898e98257d4f
ocaml(AltErgoLib__Iheap) = f192022eb9c4efc2513b7682f0368bac
ocaml(AltErgoLib__Inequalities) = 45c2edd3f33ab46bb114358cd0d0b844
ocaml(AltErgoLib__Instances) = 8b1b0bb80f2f9d35eda3c5782a91bd4b
ocaml(AltErgoLib__IntervalCalculus) = 6cde95a20d7a3e3f135492c3beae3ab8
ocaml(AltErgoLib__Intervals) = 4c948aee27d999a52020708a701feefe
ocaml(AltErgoLib__Ite) = cc2ebe6cf5931d760b34d263ab0f7f01
ocaml(AltErgoLib__Ite_rel) = 751dfb0de1cf3906f86d621d0db0b093
ocaml(AltErgoLib__Lists) = 683794d4f988780b097baeb9d8b29aab
ocaml(AltErgoLib__Loc) = 2b2dd57c875e9cf908a505ec0f0b6955
ocaml(AltErgoLib__Matching) = 10f82e181de775d334e6f2af58794660
ocaml(AltErgoLib__Matching_types) = de731a21b10d39758437d7b34894a86a
ocaml(AltErgoLib__MyDynlink) = f3dff9e6ce88c05d8921f68607580107
ocaml(AltErgoLib__MyUnix) = 266ead2763f0fe15ff7bba8fb3dc538f
ocaml(AltErgoLib__Numbers) = f49a7a5d15e00e34d881b95d41d87a42
ocaml(AltErgoLib__NumbersInterface) = f3652ea41a17f6eaf94277ccb93e2623
ocaml(AltErgoLib__Options) = 36af2bd3447a7a52947ed081eb204a64
ocaml(AltErgoLib__Parsed) = cdcd7788a1bae8f91a1b3f54781a1ff9
ocaml(AltErgoLib__Polynome) = 9d5f4aa1342ab7c33f071a9b2990aa71
ocaml(AltErgoLib__Profiling) = aefd076c6375ed93e21aa6165e26a7ea
ocaml(AltErgoLib__Records) = 002c9b72fed935c2e2df60f781fefdb8
ocaml(AltErgoLib__Records_rel) = 127e059c9fd4172b1f195571ef78a8f5
ocaml(AltErgoLib__Relation) = 6ace304852779d5f8a17b5b8efce2914
ocaml(AltErgoLib__Sat_solver_sig) = 184fa3809770469a6da46a493c49d9f8
ocaml(AltErgoLib__Satml) = a79e984671d8f0f86533d16a65bc5fd7
ocaml(AltErgoLib__Satml_frontend) = 2be5ceeb777f63e2990c80d8cac958a9
ocaml(AltErgoLib__Satml_frontend_hybrid) = e2cc2eaf49d2cf762c20a5b6b79f8f07
ocaml(AltErgoLib__Satml_types) = 21c8f2918b7048dc3383fac7f55af312
ocaml(AltErgoLib__Shostak) = 501bc5777c92dcda78894edff4c28de2
ocaml(AltErgoLib__Sig) = 5efdf781fdf17a7915c6e40308c3f4eb
ocaml(AltErgoLib__Sig_rel) = 37d2a057aa983d9c5335df5c7c78d7c9
ocaml(AltErgoLib__Symbols) = 8d2afd2fa4c8da2fdfe28a9811e4466d
ocaml(AltErgoLib__Th_util) = 0e790bbf36d9cde82076ce045cb7973e
ocaml(AltErgoLib__Theory) = 00e19983a987d53c9c98e0746c061b6e
ocaml(AltErgoLib__Timers) = bcbc0eb37513a5b3d970ce3b6aa28bac
ocaml(AltErgoLib__Ty) = fd1271816fd0c6b518c32711af3658af
ocaml(AltErgoLib__Typed) = 84bf3b9af7e2d7bf508f6a9ea8d34c95
ocaml(AltErgoLib__Uf) = 4b3d837781b163f3744caaf0be71fb59
ocaml(AltErgoLib__Use) = 5ebe4a7b134922a9331970e34417b5a1
ocaml(AltErgoLib__Util) = 2de7595a3486b407dedbaea16d1f1da3
ocaml(AltErgoLib__Var) = e9832a21a07c077b7a1b45d133c5408d
ocaml(AltErgoLib__Vec) = de15ef3fba24aef72e686cf0601483c6
ocaml(AltErgoLib__Version) = 999d25bd1edb7e28f352914c97303f53
ocaml(AltErgoLib__Xliteral) = ce72c4a0e2652e3d71161c42c1e92f07
ocaml(AltErgoLib__ZarithNumbers) = b7b1895374fdb3286653d4877c505898
ocaml(Big_int) = c348bf5d6952825e8ab4697cd21d92e8
ocaml(CamlinternalFormatBasics) = cecfafd5c021473f5e358c96ac7502a0
ocaml(CamlinternalLazy) = 2c797917c31a980b79e9d16d84057b70
ocaml(CamlinternalMod) = 5f3bf6a430a949e1f685fd8552eeeda5
ocaml(Dynlink) = 4ef8f180b6a55f28c092cd0698987af5
ocaml(Nat) = 36ba3d58508817d41dd1905e534c85c9
ocaml(Num) = 69a10358c2a75c07be1bac4cd2c1551f
ocaml(OcplibSimplex) = 21bf883c616161ae0a42a82630694798
ocaml(Q) = dfd79ff05360c4cc4bc120db10ee3749
ocaml(Ratio) = 341ea856349b462e0ac3337940b8bef9
ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
ocaml(Stdlib__Arg) = 37ac8abf22d3dbe8e900dc221da3abf4
ocaml(Stdlib__Array) = 9bcf1a06bdcfbb976f898e818e15611a
ocaml(Stdlib__Bigarray) = 55a812d9a3c89e7a8ebb917e63e4beea
ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
ocaml(Stdlib__Char) = 71d01c936f35204d25fbdc2a38153066
ocaml(Stdlib__Complex) = d5f041ccbe9783af90ca38337002fb4e
ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
ocaml(Stdlib__Filename) = 218e1f57bdea9d296a9f66e323e71029
ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
ocaml(Stdlib__Gc) = 2259960cc6f070189d9bbc89ce4392ee
ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
ocaml(Stdlib__Int32) = 1db604c2106f996ea47a572773a5ff7f
ocaml(Stdlib__Int64) = 7ab3f2ace09cfcc67be8a7133d18f0e2
ocaml(Stdlib__Lazy) = ca3d5c326131437daef18ae34e7f4aa9
ocaml(Stdlib__Lexing) = be62854f0fbcd8531fe531cd00e34821
ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
ocaml(Stdlib__Map) = 71415964978d1cf0c1701af1137aa1ea
ocaml(Stdlib__Nativeint) = 627e6e1768175d0dea895dfbcbc11457
ocaml(Stdlib__Obj) = 85655eceec5bcd6c7c4ef5dd6758b19d
ocaml(Stdlib__Parsing) = b6df92cdc398ed512c6107b99069599a
ocaml(Stdlib__Printexc) = ce1d04478ff0e3403b8c05aa790a9f79
ocaml(Stdlib__Queue) = 7c394795afe79287e9401b5c6c36e64d
ocaml(Stdlib__Random) = 3f2ddc04bb28ff1050c0c8d7cf5a8d57
ocaml(Stdlib__Scanf) = c00e8fda2c354d0d6aed03da5643b593
ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
ocaml(Stdlib__Set) = f849884bcf48f894e90800c7ccd98f21
ocaml(Stdlib__String) = facad7e0dada5941148738b8188d844f
ocaml(Stdlib__Sys) = a0375c47cee9c7e20ff8f61d4f04e748
ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
ocaml(Stdlib__Weak) = 2fce646729aeb77fa66361591aa9dc46
ocaml(Str) = 6033104bfe804d2da0486bb38da86608
ocaml(Unix) = 8da0575524ccb15782c0ca7ebc83ccb8
ocaml(Z) = 0009d1c1f4074c1e5cac1497b3dc94fa
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

* 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
* 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)

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/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 Jul 9 22:32:40 2024

ocaml-alt-ergo-lib-2.3.3-10.fc39 RPM for s390x

From Fedora 39 for s390x / o

Provides

Requires

License

Changelog

Files