↵ Return to the main page of ocaml-psmt2-frontend-docs
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
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 |
2021-07-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.1-10 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
2021-07-19 | Jerry James <loganjerry at gmail dot com> - 0.1-9 | - Move META to the main package |
2021-03-29 | Jerry James <loganjerry at gmail dot com> - 0.1-9 | - Add -autoconf patch for autoconf 2.71 (bz 1943044) |
2021-03-02 | Richard W.M. Jones <rjones at redhat dot com> - 0.1-8 | - OCaml 4.12.0 build |
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 |