Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-alt-ergo-lib-2.3.3-1.mga9 RPM for armv7hl

From Mageia Cauldron for armv7hl / media / core / release

Name: ocaml-alt-ergo-lib Distribution: Mageia
Version: 2.3.3 Vendor: Mageia.Org
Release: 1.mga9 Build date: Mon Mar 20 12:29:54 2023
Group: Sciences/Computer science Build host: localhost
Size: 9791237 Source RPM: alt-ergo-2.3.3-1.mga9.src.rpm
Packager: pterjan <pterjan>
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

License

Apache-2.0

Changelog

* Sun Mar 19 2023 pterjan <pterjan> 2.3.3-1.mga9
  + Revision: 1949747
  - Update to 2.3.3 and partially sync with Fedora
  - Disable GUI as it needs gtksourceview2 we no longer have
* Sun Jan 08 2023 daviddavid <daviddavid> 2.2.0-18.mga9
  + Revision: 1931573
  - rebuild for ocaml-zarith change
* Thu May 19 2022 pterjan <pterjan> 2.2.0-17.mga9
  + Revision: 1859000
  - Rebuild for OCaml 4.14
* Wed Apr 06 2022 umeabot <umeabot> 2.2.0-16.mga9
  + Revision: 1845914
  - Mageia 9 Mass Rebuild
* Thu Oct 14 2021 tv <tv> 2.2.0-15.mga9
  + Revision: 1751384
  - Rebuild for ocaml 4.13.1
* Fri Mar 26 2021 tv <tv> 2.2.0-14.mga9
  + Revision: 1710561
  - Do not Require private ocaml interfaces that we don't Provide
    (thus fixing installation)
* Mon Mar 22 2021 tv <tv> 2.2.0-12.mga9
  + Revision: 1707991
  - Rebuild for ocaml 4.12
  - rebuild for ocaml-4.12

Files

/usr/lib/.build-id
/usr/lib/.build-id/45
/usr/lib/.build-id/45/5e02103bd0403c2f607ee7b48fb5725b1e25cd
/usr/lib/ocaml/alt-ergo-lib
/usr/lib/ocaml/alt-ergo-lib-free
/usr/lib/ocaml/alt-ergo-lib-free/META
/usr/lib/ocaml/alt-ergo-lib-free/dune-package
/usr/lib/ocaml/alt-ergo-lib-free/opam
/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cma
/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cmxs
/usr/lib/ocaml/alt-ergo-lib/META
/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmi
/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi
/usr/lib/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 Apr 13 04:31:47 2024