Changelog for why-jessie-2.41-2.fc30.i686.rpm :

* Sun Feb 03 2019 Fedora Release Engineering - 2.41-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James - 2.41-1- New upstream release- All patches have been upstreamed; drop them all
* Sat Jul 14 2018 Fedora Release Engineering - 2.40-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Feb 12 2018 Jerry James - 2.40-1- New upstream release- Add -num patch to fix incomplete num to zarith conversion
* Fri Feb 09 2018 Fedora Release Engineering - 2.39-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 18 2018 Igor Gnatenko - 2.39-4- Remove obsolete scriptlets
* Sat Dec 09 2017 Jerry James - 2.39-3- Bring back the -project patch, still needed (bz 1520483)- Add the -safe-string patch for building with ocaml 4.06.0- Build the Jessie plugin with -runtime-variant _pic
* Sat Dec 02 2017 Richard W.M. Jones - 2.39-3- OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James - 2.39-2- Rebuild for why3 0.88.0
* Thu Sep 07 2017 Jerry James - 2.39-1- New upstream release
* Wed Sep 06 2017 Richard W.M. Jones - 2.38-6- OCaml 4.05.0 rebuild.
* Thu Aug 03 2017 Fedora Release Engineering - 2.38-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Thu Jul 27 2017 Fedora Release Engineering - 2.38-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
* Sat Jul 01 2017 Richard W.M. Jones - 2.38-3- Rebuild for OCaml 4.04.2.
* Mon May 15 2017 Richard W.M. Jones - 2.38-2- Rebuild for OCaml 4.04.1.
* Fri Mar 24 2017 Jerry James - 2.38-1- New upstream release
* Sat Feb 11 2017 Fedora Release Engineering - 2.36-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild