↵ Return to the main page of prooftree
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
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 |
2021-03-01 | Richard W.M. Jones <rjones at redhat dot com> - 0.13-14 | - OCaml 4.12.0 build |
2021-01-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-13 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
2020-09-01 | Richard W.M. Jones <rjones at redhat dot com> - 0.13-12 | - OCaml 4.11.1 rebuild |
2020-08-01 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-11 | - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
2020-07-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-10 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
2020-01-30 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.13-9 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |