From d73b5aee43f2ea20a21e7ed7b689920550e69f50 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Aug 02 2019 02:48:29 +0000
Subject: Update to Potassium version.


---

diff --git a/frama-c.spec b/frama-c.spec
index b45bb8f..ee4aaf7 100644
--- a/frama-c.spec
+++ b/frama-c.spec
@@ -7,11 +7,11 @@
 %endif
 
 Name:           frama-c
-Version:        18.0
-Release:        2%{?dist}
+Version:        19.0
+Release:        1%{?dist}
 Summary:        Framework for source code analysis of C software
 
-%global pkgversion %{version}-Argon
+%global pkgversion %{version}-Potassium
 
 # Licensing breakdown in source file frama-c-1.6-licensing
 License:        LGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
@@ -53,6 +53,7 @@ BuildRequires:  ocaml-lablgtk-devel
 BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-ocamlgraph-devel
 BuildRequires:  ocaml-num-devel
+BuildRequires:  ocaml-why3-devel
 BuildRequires:  ocaml-yojson-devel
 BuildRequires:  ocaml-zarith-devel
 BuildRequires:  python3-devel
@@ -72,7 +73,7 @@ Suggests:       coq
 Suggests:       z3
 
 # Filter out bogus requires
-%global __requires_exclude ocaml\\\((Callgraph_api|Cg|Clabels|Conditions|Context|Cstring|Ctypes|Definitions|GtkSourceView2_types|Lang|LogicUsage|Marks|MemoryContext|Model|Mstate|Passive|Services|Sig|Sigs|Uses|Vset|Warning)\\\)
+#%%global __requires_exclude ocaml\\\((Callgraph_api|Cg|Clabels|Conditions|Context|Cstring|Ctypes|Definitions|GtkSourceView2_types|Lang|LogicUsage|Marks|MemoryContext|Model|Mstate|Passive|Services|Sig|Sigs|Uses|Vset|Warning)\\\)
 
 %description
 Frama-C is a suite of tools dedicated to the analysis of the source
@@ -253,6 +254,9 @@ chmod 0644 src/plugins/value/domains/apron/*.ml
 %{_xemacs_sitestartdir}/acsl.el
 
 %changelog
+* Tue Jul 30 2019 Jerry James <loganjerry@gmail.com> - 19.0-1
+- Update to Potassium version
+
 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 18.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
 
diff --git a/sources b/sources
index 25aa258..24fa5fa 100644
--- a/sources
+++ b/sources
@@ -1,12 +1,12 @@
-SHA512 (frama-c-18.0-Argon.tar.gz) = 7cd5882c5a5b79975dc738d35284b308be5293a6b05581b0d8ebdf5b83cfc0eae096c2f2c36d7d22400978c366b4521498e2dabcd008d0126ede90124062a300
-SHA512 (frama-c-18.0-Argon-api.tar.gz) = 28e78e34f85bfe3e73d48f36c38cc178c8820b94fcdfb0f4442b0412b01cb2c83f407a2cc33917db0317b7a60306368fa0169907a6aee7f594268cac3dcc7bb5
+SHA512 (frama-c-19.0-Potassium.tar.gz) = 0642c9fe3ece976f4edca672a4c5ca79e9c192019b3e5e002be90e442504751a97fb6b964d8ca3a60491bcf5b6845013c8f66bac06e777faffeca5a69195b018
+SHA512 (frama-c-19.0-Potassium-api.tar.gz) = 46307c9ded2274056fd5190185a35cb62531fda92a963fe73ad15cfdd334ba2fc4a461535d0dbd810341029d1f5b57472469fcd3d7e8cf42f319dbff27e1b533
 SHA512 (frama-c-icons.tar.xz) = 9fb1f6fc32559cfb74491c7f284c4c111d1ce0720fecca8a84713cb68bfa1c77cbeb241c720f58ef0a1140076d2d324f1dcae6cb47650e73c7915e82b2a6914d
-SHA512 (acsl-implementation-18.0-Argon.pdf) = e0d34a5247eaf9fc60f50c36e8a847b5df9ff588c549a1c14999f147faa7296153245c1a1322c91a708273f74c37122dc4cf76c434eee2f1cb5d5710be6d8f36
-SHA512 (aorai-manual-18.0-Argon.pdf) = 5cc54963baf9ca880a981cece8eab99397b7f8959704aa762c3135857154c20fb32eb689213030cccfa7f3df554de28ae3d89872db8f76f2c4a9879188e4c5b9
-SHA512 (e-acsl-manual-18.0-Argon.pdf) = 1ac48852a8746755763119b0420ca3f59c1ef8381c77bd5918a98996a05d4cf7aba1c82c45b3c52426278dc46a36be72fd32b64799a0d3b5502df5daef5c55ea
-SHA512 (eva-manual-18.0-Argon.pdf) = cd88a944e4c80846827c6119134aefc6df6be3bdbcb857ce70c023724e2df0dee6a044cab4558263d02505f25b5099bf3fb9b9f6efade3cc64906f0249013192
-SHA512 (metrics-manual-18.0-Argon.pdf) = a3f7dee1a8c09cb1eac25f99e122c95a2e37f30d72ee5ce4321aac6729ac249b40b39145d32eaae080319b7c7c8db89485ad78216f35bd4168a353cddc0b53f0
-SHA512 (plugin-development-guide-18.0-Argon.pdf) = cc7a4ed8d44c5030c0f66861b9d0f9bbca1c1bd2d5bed8b9931aa31ef4cfb96827706e7ddcfee821e612cb1a3326a92d21ca8e4258ba03b8e4b0d13b8339f2e3
-SHA512 (rte-manual-18.0-Argon.pdf) = c36b9ba1ad51205ab2836eec896ad57f8e15ebad057db3838c8327808611174876aed796a97c14ab6233a75c607ab36b06e857cc6aecfa7b1defb1575b9ae3db
-SHA512 (user-manual-18.0-Argon.pdf) = a5d17cd6a77308bb19e53e7a2d361f35b3d178cbe57c221f0a0cbaa1898fa90a5c417516f483ab5f8fafe48d2a399d3b38cb57398c609148a5adb724d361943e
-SHA512 (wp-manual-18.0-Argon.pdf) = 1bc79cf9399b9b6f53305c3ae27a9928f016d466e620f7b322036f4ddd03eaa2f347b7700adee3461040d88b757dc087182a62412c6e1669fd9530aaed3149ed
+SHA512 (acsl-implementation-19.0-Potassium.pdf) = bfca437ec8ab11d8c9439cfa8f01ad8202acbb9f44a1b223121cd057ff263856186a36564f70e07c055e863a1dbef1a0303a156f8f3b6942b030c835b5fddc3c
+SHA512 (aorai-manual-19.0-Potassium.pdf) = e026b52935867f5edeb15c674c1127558571b97936df387c371e5328abb37b08745d349b58da0cb17563df01b529b2c24f39bfa8dcb82b2a3d2eab96f9ccc743
+SHA512 (e-acsl-manual-19.0-Potassium.pdf) = 38238b27ac3036b715ca3b9949d37cfcf44cc1ab802d5dcd694874820023c9c70e23eb3a7a88d29e6ac0012230774d4e1790ed2fe3018909ae8f9e0c6b3ed026
+SHA512 (eva-manual-19.0-Potassium.pdf) = 2713d9aa61495aa4d9accbcbce244aa97e56636192e3dfdae0193a2dd2aa924ee206c3c44094851434057f8cabecc45c97a2972dc4e30627e6d187811b3484bc
+SHA512 (metrics-manual-19.0-Potassium.pdf) = b610403924b2ca967796477aeef935a4ddf640540e3a727afd168e62bd92ebd4dd480240af1f8be82d79305ee392d2682d17d69a5676cec87eec92a0ee33aecb
+SHA512 (plugin-development-guide-19.0-Potassium.pdf) = ed72b46f2be631a47871bf6764ad130aebdfa46ed3c0a85b1928369a089f32893f808980f2a79a76a045b3a5be4297d48ac9ad4c66c69cd9f8a9eb6a100043cf
+SHA512 (rte-manual-19.0-Potassium.pdf) = 3695339bf7e195d17886b71e5977bc23ec8110d98093d920dea2c4b981a91ae16da01f312ae4d658a17f367c9acf071cb0c7d1ac6e81b7d84dc39bc50f3d9d3f
+SHA512 (user-manual-19.0-Potassium.pdf) = 1aece5e22e38e1e284c0b283f7ed7085437bfac5521ab389b8796357145b849bd8e5f12426d5be3719eb673aac1984f6efafc681ab57ea21fe3040df2c5f52d5
+SHA512 (wp-manual-19.0-Potassium.pdf) = 721fdf476838c2f148abd194ff5d1d49132c71df4be3ad95730ff1e7ceca964ed3e4a8385d1cc7d357c87f04e392d5c3f55fbf9a6798a7a90a3bcb79cb9b4250