why3-proofgeneral-1.4.1-2.fc36

Date	Author	Change
2022-03-25	Jerry James <loganjerry at gmail dot com> - 1.4.1-2	- Rebuild for coq 8.15.1
2022-02-28	Jerry James <loganjerry at gmail dot com> - 1.4.1-1	- Version 1.4.1
2022-02-04	Richard W.M. Jones <rjones at redhat dot com> - 1.4.0-11	- OCaml 4.13.1 rebuild to remove package notes
2022-01-22	Fedora Release Engineering <releng at fedoraproject dot org> - 1.4.0-10	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2022-01-17	Jerry James <loganjerry at gmail dot com> - 1.4.0-9	- Rebuild for menhir 20211230
2021-12-27	Jerry James <loganjerry at gmail dot com> - 1.4.0-8	- Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11
2021-11-30	Jerry James <loganjerry at gmail dot com> - 1.4.0-7	- Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128
2021-10-21	Jerry James <loganjerry at gmail dot com> - 1.4.0-6	- Rebuild for coq 8.14.0 and menhir 20211012 - Add -coq8.14 patch - Drop XEmacs support
2021-10-05	Richard W.M. Jones <rjones at redhat dot com> - 1.4.0-5	- OCaml 4.13.1 build
2021-10-04	Richard W.M. Jones <rjones at redhat dot com> - 1.4.0-4	- Try to build on s390x with OCaml 4.13

why3-proofgeneral-1.4.1-2.fc36 in Fedora 36