Rebuild for frama-c 19.1.

why.spec

@@ -7,7 +7,7 @@
 
 Name:           why
 Version:        2.41
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Software verification platform
 
 License:        LGPLv2 with exceptions
@@ -149,8 +149,8 @@ sed -i 's,4\.06\.\*,&|4.07.*|4.08.*,' configure
 # Allow building with why3 1.2.0
 sed -i 's,0\.88\.\*,&|1.2.0,' configure
 
-# Allow building with Frama-C 19.0
-sed -i 's,Chlorine-20180501,19.0*,' configure
+# Allow building with Frama-C 19.1
+sed -i 's,Chlorine-20180501,19.1*,' configure
 
 %build
 %ifarch %{ocaml_native_compiler}
@@ -234,6 +234,9 @@ make check
 
 
 %changelog
+* Mon Sep 23 2019 Jerry James <loganjerry@gmail.com> - 2.41-6
+- Rebuild for frama-c 19.1
+
 * Fri Sep  6 2019 Jerry James <loganjerry@gmail.com> - 2.41-5
 - Rebuild for ocaml-zarith 1.9