why3-proofgeneral-1.8.2-1.fc42

Date	Author	Change
2025-09-17	Jerry James <loganjerry at gmail dot com> - 1.8.2-1	- Version 1.8.2
2025-09-17	Jerry James <loganjerry at gmail dot com> - 1.8.1-3	- BR vim-filesystem for %{vimfiles_root}
2025-09-17	Jerry James <loganjerry at gmail dot com> - 1.8.1-2	- Use %{vimfiles_root}
2025-06-09	Jerry James <loganjerry at gmail dot com> - 1.8.1-1	- Version 1.8.1 - All patches have been upstreamed
2025-02-13	Jerry James <loganjerry at gmail dot com> - 1.8.0-4	- Rebuild for flocq 4.2.1
2025-01-22	Jerry James <loganjerry at gmail dot com> - 1.8.0-3	- Add patch for C23 compatibility
2025-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.8.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-10	Jerry James <loganjerry at gmail dot com> - 1.8.0-1	- OCaml 5.3.0 rebuild for Fedora 42 - Version 1.8.0 - Disable documentation build due to bugs in 1.8.0
2024-10-14	Jerry James <loganjerry at gmail dot com> - 1.7.2-10	- Fix the location of the icon
2024-10-06	Jerry James <loganjerry at gmail dot com> - 1.7.2-9	- Rebuild for ocaml-re 1.13.3

why3-proofgeneral-1.8.2-1.fc42 in Fedora 42