Fedora Packages

prooftree-0.13-23.fc38 in Fedora 38

↵ Return to the main page of prooftree
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.13-23 - Rebuild OCaml packages for F38
2023-01-20 Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-12 Jerry James <loganjerry at gmail dot com> - 0.13-21 - Convert License tag to SPDX
2022-07-22 Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-18 Richard W.M. Jones <rjones at redhat dot com> - 0.13-20 - OCaml 4.14.0 rebuild
2022-02-04 Richard W.M. Jones <rjones at redhat dot com> - 0.13-19 - OCaml 4.13.1 rebuild to remove package notes
2022-01-21 Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-10-04 Richard W.M. Jones <rjones at redhat dot com> - 0.13-17 - OCaml 4.13.1 build
2021-07-23 Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-06-22 Jerry James <loganjerry at gmail dot com> - 0.13-15 - Rebuild for ocaml-lablgtk without gnomeui

Dependencies

Provides

  • prooftree
  • prooftree(x86-64)

Files


Sources on Pagure