ocaml-psmt2-frontend-0.4.0-20.fc41 in Fedora 41

↵ 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
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
2024-05-29	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-17	- OCaml 5.2.0 for Fedora 41
2024-01-25	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-16	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-21	Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-15	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-12-18	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-14	- OCaml 5.1.1 + s390x code gen fix for Fedora 40
2023-12-12	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-13	- OCaml 5.1.1 rebuild for Fedora 40
2023-10-05	Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-12	- OCaml 5.1 rebuild for Fedora 40
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

Dependencies

glibc
ocaml = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml-runtime = 2ef2d91ced81f6c72f852bab8ab406e0

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/
    - 70/
      - 1d1c99cf09a6b46684a679d5f5798713a0560b
    - 74/
      - f8a02c04c53eab64497394f1d7753b13afca65
- 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