Fedora Packages

ocaml-psmt2-frontend-devel-0.1-7.fc34 in Fedora 34

↵ 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-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
2020-08-01 Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-28 Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-06-17 Jerry James <loganjerry at gmail dot com> - 0.1-1 - Initial RPM

Dependencies

Provides

  • ocaml(Psmt2Frontend)
  • ocaml-psmt2-frontend-devel
  • ocaml-psmt2-frontend-devel(x86-64)
  • ocamlx(Psmt2Frontend)

Files


Sources on Pagure