ocaml-psmt2-frontend-devel-0.4.0-1.fc36 in Fedora Rawhide

↵ Return to the main page of ocaml-psmt2-frontend-devel
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> - 0.4.0-1	- Version 0.4.0 - Drop obsolete -autoconf patch - Add %check script - Add -docs subpackage
2021-10-05	Richard W.M. Jones <rjones at redhat dot com> - 0.1-11	- OCaml 4.13.1 build
2021-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-10	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-19	Jerry James <loganjerry at gmail dot com> - 0.1-9	- Move META to the main package
2021-03-29	Jerry James <loganjerry at gmail dot com> - 0.1-9	- Add -autoconf patch for autoconf 2.71 (bz 1943044)
2021-03-02	Richard W.M. Jones <rjones at redhat dot com> - 0.1-8	- OCaml 4.12.0 build
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-7	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-09-01	Richard W.M. Jones <rjones at redhat dot com> - 0.1-6	- OCaml 4.11.1 rebuild
2020-08-22	Richard W.M. Jones <rjones at redhat dot com> - 0.1-5	- Bump and rebuild
2020-08-21	Richard W.M. Jones <rjones at redhat dot com> - 0.1-4	- OCaml 4.11.0 rebuild

Dependencies

ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-psmt2-frontend = 0.4.0-1.fc36
ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7

Provides

ocaml(Psmt2Frontend)
ocaml(Psmt2Frontend__Main)
ocaml(Psmt2Frontend__Options)
ocaml(Psmt2Frontend__Smtlib_error)
ocaml(Psmt2Frontend__Smtlib_lexer)
ocaml(Psmt2Frontend__Smtlib_parser)
ocaml(Psmt2Frontend__Smtlib_printer)
ocaml(Psmt2Frontend__Smtlib_syntax)
ocaml(Psmt2Frontend__Smtlib_ty)
ocaml(Psmt2Frontend__Smtlib_typed_env)
ocaml(Psmt2Frontend__Smtlib_typed_logic)
ocaml(Psmt2Frontend__Smtlib_typing)
ocaml(Psmt2Frontend__Version)
ocaml-psmt2-frontend-devel
ocaml-psmt2-frontend-devel(x86-64)
ocamlx(Psmt2Frontend)
ocamlx(Psmt2Frontend__Main)
ocamlx(Psmt2Frontend__Options)
ocamlx(Psmt2Frontend__Smtlib_error)
ocamlx(Psmt2Frontend__Smtlib_lexer)
ocamlx(Psmt2Frontend__Smtlib_parser)
ocamlx(Psmt2Frontend__Smtlib_printer)
ocamlx(Psmt2Frontend__Smtlib_syntax)
ocamlx(Psmt2Frontend__Smtlib_ty)
ocamlx(Psmt2Frontend__Smtlib_typed_env)
ocamlx(Psmt2Frontend__Smtlib_typed_logic)
ocamlx(Psmt2Frontend__Smtlib_typing)
ocamlx(Psmt2Frontend__Version)

Files

usr/
- lib64/
  - ocaml/
    - psmt2-frontend/
      - dune-package
      - opam
      - options.mli
      - psmt2Frontend.a
      - psmt2Frontend.cmt
      - psmt2Frontend.cmx
      - psmt2Frontend.cmxa
      - psmt2Frontend__Main.cmt
      - psmt2Frontend__Main.cmx
      - psmt2Frontend__Options.cmt
      - psmt2Frontend__Options.cmti
      - psmt2Frontend__Options.cmx
      - psmt2Frontend__Smtlib_error.cmt
      - psmt2Frontend__Smtlib_error.cmx
      - psmt2Frontend__Smtlib_lexer.cmt
      - psmt2Frontend__Smtlib_lexer.cmx
      - psmt2Frontend__Smtlib_parser.cmt
      - psmt2Frontend__Smtlib_parser.cmti
      - psmt2Frontend__Smtlib_parser.cmx
      - psmt2Frontend__Smtlib_printer.cmt
      - psmt2Frontend__Smtlib_printer.cmx
      - psmt2Frontend__Smtlib_syntax.cmt
      - psmt2Frontend__Smtlib_syntax.cmx
      - psmt2Frontend__Smtlib_ty.cmt
      - psmt2Frontend__Smtlib_ty.cmx
      - psmt2Frontend__Smtlib_typed_env.cmt
      - psmt2Frontend__Smtlib_typed_env.cmx
      - psmt2Frontend__Smtlib_typed_logic.cmt
      - psmt2Frontend__Smtlib_typed_logic.cmx
      - psmt2Frontend__Smtlib_typing.cmt
      - psmt2Frontend__Smtlib_typing.cmx
      - psmt2Frontend__Version.cmt
      - psmt2Frontend__Version.cmti
      - psmt2Frontend__Version.cmx
      - smtlib_parser.mli
      - version.mli

Sources on Pagure