Fedora Packages

ocaml-psmt2-frontend-0.4.0-7.fc38 in Fedora 38

↵ 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-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
2022-02-04 Richard W.M. Jones <rjones at redhat dot com> - 0.4.0-3 - OCaml 4.13.1 rebuild to remove package notes
2022-01-20 Fedora Release Engineering <releng at fedoraproject dot org> - 0.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
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

Dependencies

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


Sources on Pagure