Changelog for why-pvs-support-2.41-6.fc31.x86_64.rpm :

* Mon Sep 23 2019 Jerry James - 2.41-6- Rebuild for frama-c 19.1
* Fri Sep 06 2019 Jerry James - 2.41-5- Rebuild for ocaml-zarith 1.9
* Fri Aug 02 2019 Jerry James - 2.41-4- Rebuild for frama-c 19.0
* Sat Jul 27 2019 Fedora Release Engineering - 2.41-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James - 2.41-3- Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0
* 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