ocaml-psmt2-frontend-0.4.0-27.fc44 in Fedora Rawhide

↵ 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
2025-10-14	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-27	- OCaml 5.4.0 rebuild
2025-09-16	Jerry James <loganjerry at gmail dot com> - 0.4.0-26	- Rebuild for ocaml-menhir 20250912
2025-09-05	Jerry James <loganjerry at gmail dot com> - 0.4.0-25	- Rebuild for ocaml-menhir 20250903
2025-07-24	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-24	- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-11	Jerry James <loganjerry at gmail dot com> - 0.4.0-23	- Rebuild to fix OCaml dependencies
2025-01-17	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-22	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-09	Jerry James <loganjerry at gmail dot com> - 0.4.0-21	- OCaml 5.3.0 rebuild for Fedora 42
2024-08-05	Jerry James <loganjerry at gmail dot com> - 0.4.0-20	- Rebuild for ocaml-menhir 20240715
2024-07-18	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-19	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-06-19	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-18	- OCaml 5.2.0 ppc64le fix

Dependencies

glibc
ocaml = bb23651112c1e05c61498d902472830d
ocaml-runtime = bb23651112c1e05c61498d902472830d

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)

Files

usr/
- bin/
  - psmt2-frontend_bin
- lib/
  - .build-id/
    - 74/
      - 35e47618783c2ace31826fca221ec49bbc16ee
    - ec/
      - 9a5f2bbafa63b70b600d135e5312031f72a60d
- 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