ocaml-psmt2-frontend-0.4.0-11.fc39 in Fedora 39

↵ Return to the main page of ocaml-psmt2-frontend
View build
Search for updates

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

Changelog

Date	Author	Change
2023-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-11	- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-12	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-10	- OCaml 5.0 rebuild for Fedora 39
2023-07-10	Jerry James <loganjerry at gmail dot com> - 0.4.0-9	- OCaml 5.0.0 rebuild
2023-03-21	Jerry James <loganjerry at gmail dot com> - 0.4.0-8	- Add patch for Sphinx 6.x compatibility (rhbz#2180496)
2023-01-24	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-7	- Rebuild OCaml packages for F38
2023-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-6	- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-12	Jerry James <loganjerry at gmail dot com> - 0.4.0-5	- New URL - Convert License tag to SPDX
2022-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-21	Jerry James <loganjerry at gmail dot com> - 0.4.0-4	- Use new OCaml macros
2022-06-19	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-4	- OCaml 4.14.0 rebuild

Dependencies

glibc >= 2.37.9000-17
ocaml = cecfafd5c021473f5e358c96ac7502a0
ocaml-runtime = cecfafd5c021473f5e358c96ac7502a0

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
ocaml-psmt2-frontend(x86-64)
ocaml-psmt2-frontend-doc

Files

usr/
- bin/
  - psmt2-frontend_bin
- lib/
  - .build-id/
    - 79/
      - 26d82942267cd2bde07d499bde5cd0696c5d22
    - e2/
      - 994f490f071f32ac801f81561860f1252041b9
- lib64/
  - ocaml/
    - psmt2-frontend/
      - META
      - psmt2Frontend.cma
      - psmt2Frontend.cmi
      - psmt2Frontend.cmxs
      - psmt2Frontend__Main.cmi
      - psmt2Frontend__Options.cmi
      - psmt2Frontend__Smtlib_error.cmi
      - psmt2Frontend__Smtlib_lexer.cmi
      - psmt2Frontend__Smtlib_parser.cmi
      - psmt2Frontend__Smtlib_printer.cmi
      - psmt2Frontend__Smtlib_syntax.cmi
      - psmt2Frontend__Smtlib_ty.cmi
      - psmt2Frontend__Smtlib_typed_env.cmi
      - psmt2Frontend__Smtlib_typed_logic.cmi
      - psmt2Frontend__Smtlib_typing.cmi
      - psmt2Frontend__Version.cmi
    - psmt2-frontend_bin/
      - META
- share/
  - doc/
    - ocaml-psmt2-frontend/
      - CHANGES.md
      - README.md
  - licenses/
    - ocaml-psmt2-frontend/
      - LICENSE

Sources on Pagure