ocaml-why3-1.4.0-8.fc36 - Fedora Packages

Date	Author	Change
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
2021-07-30	Jerry James <loganjerry at gmail dot com> - 1.4.0-3	- Rebuild for rebuilt coq
2021-07-23	Fedora Release Engineering <releng at fedoraproject dot org> - 1.4.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-14	Jerry James <loganjerry at gmail dot com> - 1.4.0-1	- Version 1.4.0 - Drop all patches - Validate with appstreamcli instead of appstream-util
2021-06-08	Jerry James <loganjerry at gmail dot com> - 1.3.3-9	- Rebuild for ocaml-menhir 20210419
2021-03-03	Jerry James <loganjerry at gmail dot com> - 1.3.3-8	- Rebuild for coq 8.13.1 and ocaml-zarith 1.12

Dependencies