why3-xemacs-1.4.0-3.fc35 - Fedora Packages

Date	Author	Change
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
2021-03-02	Richard W.M. Jones <rjones at redhat dot com> - 1.3.3-7	- OCaml 4.12.0 build
2021-02-20	Jerry James <loganjerry at gmail dot com> - 1.3.3-6	- Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir
2021-01-27	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-02	Jerry James <loganjerry at gmail dot com> - 1.3.3-4	- Rebuild for flocq 3.4.0
2020-12-23	Jerry James <loganjerry at gmail dot com> - 1.3.3-3	- Rebuild for coq 8.12.2

why3-xemacs-1.4.0-3.fc35 in Fedora 35