ocaml-alt-ergo-lib-2.3.0-1.fc36 in Fedora Rawhide

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

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

Changelog

Date	Author	Change
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)
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 2.2.0-12	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-19	Jerry James <loganjerry at gmail dot com> - 2.2.0-11	- Move META to the main package
2021-06-22	Jerry James <loganjerry at gmail dot com> - 2.2.0-11	- Rebuild for ocaml-lablgtk without gnomeui
2021-03-03	Jerry James <loganjerry at gmail dot com> - 2.2.0-10	- Rebuild for ocaml-zarith 1.12
2021-03-02	Richard W.M. Jones <rjones at redhat dot com> - 2.2.0-9	- OCaml 4.12.0 build
2021-02-04	Jerry James <loganjerry at gmail dot com> - 2.2.0-8	- Updates to the desktop and metainfo files - Add -pervasives patch
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 2.2.0-7	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Dependencies

glibc
ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-num = 2810cdef87811739c860656c04d2809e
ocaml-num-devel = 2810cdef87811739c860656c04d2809e
ocaml-ocplib-simplex = a66dab1990bb8f63f52e2bb91a8c6775
ocaml-ocplib-simplex-devel = a66dab1990bb8f63f52e2bb91a8c6775
ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-seq = f5af16a45a811fff04c088fda58a1ba2
ocaml-seq-devel = f5af16a45a811fff04c088fda58a1ba2
ocaml-zarith = 78e67b574090234468dc765b5bdb7717
ocaml-zarith-devel = 78e67b574090234468dc765b5bdb7717

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__Matching_types)
ocaml(AltErgoLib__MyDynlink)
ocaml(AltErgoLib__MyUnix)
ocaml(AltErgoLib__Numbers)
ocaml(AltErgoLib__NumbersInterface)
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__Sig)
ocaml(AltErgoLib__Sig_rel)
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
ocaml-alt-ergo-lib(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/
- lib/
  - .build-id/
    - 33/
      - 61220c46a6c90f3ca6ea20d49d84308d210b96
- lib64/
  - ocaml/
    - alt-ergo-lib/
      - AltErgoLib.cma
      - AltErgoLib.cmxs
      - META
      - altErgoLib.cmi
      - altErgoLib__Ac.cmi
      - altErgoLib__Adt.cmi
      - altErgoLib__Adt_rel.cmi
      - altErgoLib__Arith.cmi
      - altErgoLib__Arrays.cmi
      - altErgoLib__Arrays_rel.cmi
      - altErgoLib__Bitv.cmi
      - altErgoLib__Bitv_rel.cmi
      - altErgoLib__Ccx.cmi
      - altErgoLib__Cnf.cmi
      - altErgoLib__Commands.cmi
      - altErgoLib__Config.cmi
      - altErgoLib__Emap.cmi
      - altErgoLib__Enum.cmi
      - altErgoLib__Enum_rel.cmi
      - altErgoLib__Errors.cmi
      - altErgoLib__Explanation.cmi
      - altErgoLib__Expr.cmi
      - altErgoLib__Fpa_rounding.cmi
      - altErgoLib__Frontend.cmi
      - altErgoLib__Fun_sat.cmi
      - altErgoLib__Gc_debug.cmi
      - altErgoLib__Hconsing.cmi
      - altErgoLib__Hstring.cmi
      - altErgoLib__Iheap.cmi
      - altErgoLib__Inequalities.cmi
      - altErgoLib__Input.cmi
      - altErgoLib__Instances.cmi
      - altErgoLib__IntervalCalculus.cmi
      - altErgoLib__Intervals.cmi
      - altErgoLib__Ite.cmi
      - altErgoLib__Ite_rel.cmi
      - altErgoLib__Lists.cmi
      - altErgoLib__Loc.cmi
      - altErgoLib__Matching.cmi
      - altErgoLib__Matching_types.cmi
      - altErgoLib__MyDynlink.cmi
      - altErgoLib__MyUnix.cmi
      - altErgoLib__Numbers.cmi
      - altErgoLib__NumbersInterface.cmi
      - altErgoLib__NumsNumbers.cmi
      - altErgoLib__Options.cmi
      - altErgoLib__Parsed.cmi
      - altErgoLib__Parsed_interface.cmi
      - altErgoLib__Polynome.cmi
      - altErgoLib__Profiling.cmi
      - altErgoLib__Records.cmi
      - altErgoLib__Records_rel.cmi
      - altErgoLib__Relation.cmi
      - altErgoLib__Sat_solver.cmi
      - altErgoLib__Sat_solver_sig.cmi
      - altErgoLib__Satml.cmi
      - altErgoLib__Satml_frontend.cmi
      - altErgoLib__Satml_frontend_hybrid.cmi
      - altErgoLib__Satml_types.cmi
      - altErgoLib__Shostak.cmi
      - altErgoLib__Sig.cmi
      - altErgoLib__Sig_rel.cmi
      - altErgoLib__Symbols.cmi
      - altErgoLib__Th_util.cmi
      - altErgoLib__Theory.cmi
      - altErgoLib__Timers.cmi
      - altErgoLib__Ty.cmi
      - altErgoLib__Typechecker.cmi
      - altErgoLib__Typed.cmi
      - altErgoLib__Uf.cmi
      - altErgoLib__Use.cmi
      - altErgoLib__Util.cmi
      - altErgoLib__Var.cmi
      - altErgoLib__Vec.cmi
      - altErgoLib__Version.cmi
      - altErgoLib__Xliteral.cmi
      - altErgoLib__ZarithNumbers.cmi

Sources on Pagure