Rebuild for fixed frama-c.

2020-04-10 16:03:50 -06:00
1 changed files with 4 additions and 1 deletions
--- a/why.spec
+++ b/why.spec
@ -7,7 +7,7 @@

 Name:           why
 Version:        2.41
-Release:        8%{?dist}
+Release:        9%{?dist}
 Summary:        Software verification platform

 License:        LGPLv2 with exceptions
@ -234,6 +234,9 @@ make check


 %changelog
+* Fri Apr 10 2020 Jerry James <loganjerry@gmail.com> - 2.41-9
+- Rebuild for fixed frama-c
+
 * Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 2.41-8
 - Rebuild for why3 1.2.1