ocaml-alt-ergo-lib-devel-2.3.3-3.fc37 in Fedora 37

↵ Return to the main page of ocaml-alt-ergo-lib-devel
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2022-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-05	Jerry James <loganjerry at gmail dot 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
2022-06-20	Jerry James <loganjerry at gmail dot 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
2022-06-19	Richard W.M. Jones <rjones at redhat dot com> - 2.3.0-5	- OCaml 4.14.0 rebuild
2022-02-28	Jerry James <loganjerry at gmail dot 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
2022-02-04	Richard W.M. Jones <rjones at redhat dot com> - 2.3.0-3	- OCaml 4.13.1 rebuild to remove package notes
2022-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-27	Jerry James <loganjerry at gmail dot com> - 2.3.0-1	- Version 2.3.0 - New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages
2021-10-05	Richard W.M. Jones <rjones at redhat dot com> - 2.2.0-14	- OCaml 4.13.1 build
2021-07-29	Jerry James <loganjerry at gmail dot com> - 2.2.0-13	- Rebuild for changed ocamlx(Dynlink)

Dependencies

ocaml = 8f8f634558798ee408df3c50a5539b15
ocaml-alt-ergo-lib = 18e84cb4d29a22a17535546ecb60b399
ocaml-num = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml-num-devel = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml-ocplib-simplex = db5a3500202b85aa9cc59c664092f504
ocaml-ocplib-simplex-devel = db5a3500202b85aa9cc59c664092f504
ocaml-runtime = 8f8f634558798ee408df3c50a5539b15
ocaml-zarith = 95ed12df5d619f4cf43c3f5256a0f97b
ocaml-zarith-devel = 95ed12df5d619f4cf43c3f5256a0f97b

Provides

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

Files

usr/
- lib64/
  - ocaml/
    - alt-ergo-lib/
      - AltErgoLib.a
      - AltErgoLib.cmxa
      - ac.mli
      - adt.mli
      - adt_rel.mli
      - altErgoLib.cmt
      - altErgoLib.cmx
      - altErgoLib__Ac.cmt
      - altErgoLib__Ac.cmti
      - altErgoLib__Ac.cmx
      - altErgoLib__Adt.cmt
      - altErgoLib__Adt.cmti
      - altErgoLib__Adt.cmx
      - altErgoLib__Adt_rel.cmt
      - altErgoLib__Adt_rel.cmti
      - altErgoLib__Adt_rel.cmx
      - altErgoLib__Arith.cmt
      - altErgoLib__Arith.cmti
      - altErgoLib__Arith.cmx
      - altErgoLib__Arrays.cmt
      - altErgoLib__Arrays.cmti
      - altErgoLib__Arrays.cmx
      - altErgoLib__Arrays_rel.cmt
      - altErgoLib__Arrays_rel.cmti
      - altErgoLib__Arrays_rel.cmx
      - altErgoLib__Bitv.cmt
      - altErgoLib__Bitv.cmti
      - altErgoLib__Bitv.cmx
      - altErgoLib__Bitv_rel.cmt
      - altErgoLib__Bitv_rel.cmti
      - altErgoLib__Bitv_rel.cmx
      - altErgoLib__Ccx.cmt
      - altErgoLib__Ccx.cmti
      - altErgoLib__Ccx.cmx
      - altErgoLib__Cnf.cmt
      - altErgoLib__Cnf.cmti
      - altErgoLib__Cnf.cmx
      - altErgoLib__Commands.cmt
      - altErgoLib__Commands.cmti
      - altErgoLib__Commands.cmx
      - altErgoLib__Config.cmt
      - altErgoLib__Config.cmx
      - altErgoLib__Emap.cmt
      - altErgoLib__Emap.cmti
      - altErgoLib__Emap.cmx
      - altErgoLib__Enum.cmt
      - altErgoLib__Enum.cmti
      - altErgoLib__Enum.cmx
      - altErgoLib__Enum_rel.cmt
      - altErgoLib__Enum_rel.cmti
      - altErgoLib__Enum_rel.cmx
      - altErgoLib__Errors.cmt
      - altErgoLib__Errors.cmti
      - altErgoLib__Errors.cmx
      - altErgoLib__Explanation.cmt
      - altErgoLib__Explanation.cmti
      - altErgoLib__Explanation.cmx
      - altErgoLib__Expr.cmt
      - altErgoLib__Expr.cmti
      - altErgoLib__Expr.cmx
      - altErgoLib__Fpa_rounding.cmt
      - altErgoLib__Fpa_rounding.cmti
      - altErgoLib__Fpa_rounding.cmx
      - altErgoLib__Frontend.cmt
      - altErgoLib__Frontend.cmti
      - altErgoLib__Frontend.cmx
      - altErgoLib__Fun_sat.cmt
      - altErgoLib__Fun_sat.cmti
      - altErgoLib__Fun_sat.cmx
      - altErgoLib__Gc_debug.cmt
      - altErgoLib__Gc_debug.cmti
      - altErgoLib__Gc_debug.cmx
      - altErgoLib__Hconsing.cmt
      - altErgoLib__Hconsing.cmti
      - altErgoLib__Hconsing.cmx
      - altErgoLib__Hstring.cmt
      - altErgoLib__Hstring.cmti
      - altErgoLib__Hstring.cmx
      - altErgoLib__Iheap.cmt
      - altErgoLib__Iheap.cmti
      - altErgoLib__Iheap.cmx
      - altErgoLib__Inequalities.cmt
      - altErgoLib__Inequalities.cmti
      - altErgoLib__Inequalities.cmx
      - altErgoLib__Input.cmt
      - altErgoLib__Input.cmti
      - altErgoLib__Input.cmx
      - altErgoLib__Instances.cmt
      - altErgoLib__Instances.cmti
      - altErgoLib__Instances.cmx
      - altErgoLib__IntervalCalculus.cmt
      - altErgoLib__IntervalCalculus.cmti
      - altErgoLib__IntervalCalculus.cmx
      - altErgoLib__Intervals.cmt
      - altErgoLib__Intervals.cmti
      - altErgoLib__Intervals.cmx
      - altErgoLib__Ite.cmt
      - altErgoLib__Ite.cmti
      - altErgoLib__Ite.cmx
      - altErgoLib__Ite_rel.cmt
      - altErgoLib__Ite_rel.cmti
      - altErgoLib__Ite_rel.cmx
      - altErgoLib__Lists.cmt
      - altErgoLib__Lists.cmti
      - altErgoLib__Lists.cmx
      - altErgoLib__Loc.cmt
      - altErgoLib__Loc.cmti
      - altErgoLib__Loc.cmx
      - altErgoLib__Matching.cmt
      - altErgoLib__Matching.cmti
      - altErgoLib__Matching.cmx
      - altErgoLib__Matching_types.cmti
      - altErgoLib__MyDynlink.cmt
      - altErgoLib__MyDynlink.cmti
      - altErgoLib__MyDynlink.cmx
      - altErgoLib__MyUnix.cmt
      - altErgoLib__MyUnix.cmti
      - altErgoLib__MyUnix.cmx
      - altErgoLib__Numbers.cmt
      - altErgoLib__Numbers.cmti
      - altErgoLib__Numbers.cmx
      - altErgoLib__NumbersInterface.cmti
      - altErgoLib__NumsNumbers.cmt
      - altErgoLib__NumsNumbers.cmti
      - altErgoLib__NumsNumbers.cmx
      - altErgoLib__Options.cmt
      - altErgoLib__Options.cmti
      - altErgoLib__Options.cmx
      - altErgoLib__Parsed.cmt
      - altErgoLib__Parsed.cmti
      - altErgoLib__Parsed.cmx
      - altErgoLib__Parsed_interface.cmt
      - altErgoLib__Parsed_interface.cmti
      - altErgoLib__Parsed_interface.cmx
      - altErgoLib__Polynome.cmt
      - altErgoLib__Polynome.cmti
      - altErgoLib__Polynome.cmx
      - altErgoLib__Profiling.cmt
      - altErgoLib__Profiling.cmti
      - altErgoLib__Profiling.cmx
      - altErgoLib__Records.cmt
      - altErgoLib__Records.cmti
      - altErgoLib__Records.cmx
      - altErgoLib__Records_rel.cmt
      - altErgoLib__Records_rel.cmti
      - altErgoLib__Records_rel.cmx
      - altErgoLib__Relation.cmt
      - altErgoLib__Relation.cmti
      - altErgoLib__Relation.cmx
      - altErgoLib__Sat_solver.cmt
      - altErgoLib__Sat_solver.cmti
      - altErgoLib__Sat_solver.cmx
      - altErgoLib__Sat_solver_sig.cmt
      - altErgoLib__Sat_solver_sig.cmti
      - altErgoLib__Sat_solver_sig.cmx
      - altErgoLib__Satml.cmt
      - altErgoLib__Satml.cmti
      - altErgoLib__Satml.cmx
      - altErgoLib__Satml_frontend.cmt
      - altErgoLib__Satml_frontend.cmti
      - altErgoLib__Satml_frontend.cmx
      - altErgoLib__Satml_frontend_hybrid.cmt
      - altErgoLib__Satml_frontend_hybrid.cmti
      - altErgoLib__Satml_frontend_hybrid.cmx
      - altErgoLib__Satml_types.cmt
      - altErgoLib__Satml_types.cmti
      - altErgoLib__Satml_types.cmx
      - altErgoLib__Shostak.cmt
      - altErgoLib__Shostak.cmti
      - altErgoLib__Shostak.cmx
      - altErgoLib__Sig.cmti
      - altErgoLib__Sig_rel.cmti
      - altErgoLib__Symbols.cmt
      - altErgoLib__Symbols.cmti
      - altErgoLib__Symbols.cmx
      - altErgoLib__Th_util.cmt
      - altErgoLib__Th_util.cmti
      - altErgoLib__Th_util.cmx
      - altErgoLib__Theory.cmt
      - altErgoLib__Theory.cmti
      - altErgoLib__Theory.cmx
      - altErgoLib__Timers.cmt
      - altErgoLib__Timers.cmti
      - altErgoLib__Timers.cmx
      - altErgoLib__Ty.cmt
      - altErgoLib__Ty.cmti
      - altErgoLib__Ty.cmx
      - altErgoLib__Typechecker.cmt
      - altErgoLib__Typechecker.cmti
      - altErgoLib__Typechecker.cmx
      - altErgoLib__Typed.cmt
      - altErgoLib__Typed.cmti
      - altErgoLib__Typed.cmx
      - altErgoLib__Uf.cmt
      - altErgoLib__Uf.cmti
      - altErgoLib__Uf.cmx
      - altErgoLib__Use.cmt
      - altErgoLib__Use.cmti
      - altErgoLib__Use.cmx
      - altErgoLib__Util.cmt
      - altErgoLib__Util.cmti
      - altErgoLib__Util.cmx
      - altErgoLib__Var.cmt
      - altErgoLib__Var.cmti
      - altErgoLib__Var.cmx
      - altErgoLib__Vec.cmt
      - altErgoLib__Vec.cmti
      - altErgoLib__Vec.cmx
      - altErgoLib__Version.cmt
      - altErgoLib__Version.cmti
      - altErgoLib__Version.cmx
      - altErgoLib__Xliteral.cmt
      - altErgoLib__Xliteral.cmti
      - altErgoLib__Xliteral.cmx
      - altErgoLib__ZarithNumbers.cmt
      - altErgoLib__ZarithNumbers.cmti
      - altErgoLib__ZarithNumbers.cmx
      - arith.mli
      - arrays.mli
      - arrays_rel.mli
      - bitv.mli
      - bitv_rel.mli
      - ccx.mli
      - cnf.mli
      - commands.mli
      - dune-package
      - emap.mli
      - enum.mli
      - enum_rel.mli
      - errors.mli
      - explanation.mli
      - expr.mli
      - fpa_rounding.mli
      - frontend.mli
      - fun_sat.mli
      - gc_debug.mli
      - hconsing.mli
      - hstring.mli
      - iheap.mli
      - inequalities.mli
      - input.mli
      - instances.mli
      - intervalCalculus.mli
      - intervals.mli
      - ite.mli
      - ite_rel.mli
      - lists.mli
      - loc.mli
      - matching.mli
      - matching_types.mli
      - myDynlink.mli
      - myUnix.mli
      - numbers.mli
      - numbersInterface.mli
      - numsNumbers.mli
      - opam
      - options.mli
      - parsed.mli
      - parsed_interface.mli
      - polynome.mli
      - profiling.mli
      - records.mli
      - records_rel.mli
      - relation.mli
      - sat_solver.mli
      - sat_solver_sig.mli
      - satml.mli
      - satml_frontend.mli
      - satml_frontend_hybrid.mli
      - satml_types.mli
      - shostak.mli
      - sig.mli
      - sig_rel.mli
      - symbols.mli
      - th_util.mli
      - theory.mli
      - timers.mli
      - ty.mli
      - typechecker.mli
      - typed.mli
      - uf.mli
      - use.mli
      - util.mli
      - var.mli
      - vec.mli
      - version.mli
      - xliteral.mli
      - zarithNumbers.mli

Sources on Pagure