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

* Fri Apr 10 2020 Jerry James - 2.41-9- Rebuild for fixed frama-c
* Tue Oct 29 2019 Jerry James - 2.41-8- Rebuild for why3 1.2.1
* Fri Oct 11 2019 Jerry James - 2.41-7- Rebuild for ocaml-mlgmpidl 1.2.11
* 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