frama-c-xemacs-23.1-1.fc35 - Fedora Packages

Date	Author	Change
2021-08-11	Jerry James <loganjerry at gmail dot com> - 23.1-1	- Version 23.1
2021-07-30	Jerry James <loganjerry at gmail dot com> - 23.0-3	- Rebuild for changed ocamlx(Dynlink)
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 23.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-14	Jerry James <loganjerry at gmail dot com> - 23.0-1	- Update to Vanadium 23.0
2021-06-08	Jerry James <loganjerry at gmail dot com> - 22.0-11	- Rebuild for ocaml-ocamlgraph 2.0.0
2021-03-15	Richard W.M. Jones <rjones at redhat dot com> - 22.0-10	- Bump and rebuild for updated ocaml-findlib.
2021-03-03	Jerry James <loganjerry at gmail dot com> - 22.0-9	- Rebuild for coq 8.13.1 and ocaml-zarith 1.12
2021-03-02	Richard W.M. Jones <rjones at redhat dot com> - 22.0-8	- OCaml 4.12.0 build
2021-02-20	Jerry James <loganjerry at gmail dot com> - 22.0-7	- Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 22.0-6	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

frama-c-xemacs-23.1-1.fc35 in Fedora 35