why3-proofgeneral-1.8.2-1.fc43

Date	Author	Change
2025-09-16	Jerry James <loganjerry at gmail dot com> - 1.8.2-1	- Version 1.8.2
2025-09-05	Jerry James <loganjerry at gmail dot com> - 1.8.1-8	- Rebuild for ocaml-menhir 20250903
2025-08-22	Jerry James <loganjerry at gmail dot com> - 1.8.1-7	- Rebuild for ocaml-unionfind 20250818
2025-08-10	Jerry James <loganjerry at gmail dot com> - 1.8.1-6	- BR vim-filesystem for %{vimfiles_root}
2025-08-10	Jerry James <loganjerry at gmail dot com> - 1.8.1-5	- Use %{vimfiles_root}
2025-08-10	Jerry James <loganjerry at gmail dot com> - 1.8.1-4	- Bump and rebuild
2025-07-25	Fedora Release Engineering <releng at fedoraproject dot org> - 1.8.1-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-12	Jerry James <loganjerry at gmail dot com> - 1.8.1-2	- Rebuild to fix OCaml dependencies
2025-06-09	Jerry James <loganjerry at gmail dot com> - 1.8.1-1	- Version 1.8.1 - All patches have been upstreamed
2025-06-07	Jerry James <loganjerry at gmail dot com> - 1.8.0-6	- Rebuild for bumped ocaml-mlgmpidl

why3-proofgeneral-1.8.2-1.fc43 in Fedora 43