From 4ddc9f274dbc64f4ecd9caefcf3ccb8b6b7499cd Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sat, 26 Jan 2019 08:11:16 -0700
Subject: [PATCH] New upstream release.

---
 .gitignore | 10 +---------
 sources    |  2 +-
 why3.spec  | 10 ++++++----
 3 files changed, 8 insertions(+), 14 deletions(-)

diff --git a/.gitignore b/.gitignore
index b8be194..ba8b230 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,10 +1,2 @@
 /why3-man.tar.xz
-/why3-0.86.3.tar.gz
-/why3-0.87.0.tar.gz
-/why3-0.87.1.tar.gz
-/why3-0.87.2.tar.gz
-/why3-0.87.3.tar.gz
-/why3-0.88.0.tar.gz
-/why3-0.88.1.tar.gz
-/why3-0.88.2.tar.gz
-/why3-0.88.3.tar.gz
+/why3-*.tar.gz
diff --git a/sources b/sources
index f81f15e..add42bc 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
 SHA512 (why3-man.tar.xz) = 8355776ac8a67a56ae7354f8fd40dc5d2057022d1035090a3e38e139fbfe3c258fe3ccbed6e333cb005e66c7b4cdbbf6580e3420170fd08384cc9b36ce5ec2a1
-SHA512 (why3-0.88.3.tar.gz) = d4775a8d1e6e689d1aa83e683b2d7688d11b914616de88a9f2b02cb7dad802034c1c6fe68eaa1c2257dae0732049eadd700b8e17f24ecc1dcbf11631e39739de
+SHA512 (why3-1.1.1.tar.gz) = 9d037360a53a1e0902f7fcdff643d1346a6d95f06dbba3996af00044d88da67495770eacb4090a8b05e76ff184e90ac76a3b077aac42a26388de2bf8e2bffbc7
diff --git a/why3.spec b/why3.spec
index 1fae1f4..81b1b20 100644
--- a/why3.spec
+++ b/why3.spec
@@ -8,14 +8,14 @@
 %endif
 
 Name:           why3
-Version:        0.88.3
-Release:        5%{?dist}
+Version:        1.1.1
+Release:        1%{?dist}
 Summary:        Software verification platform
 
 # See LICENSE for the terms of the exception
 License:        LGPLv2 with exceptions
 URL:            http://why3.lri.fr/
-Source0:        https://gforge.inria.fr/frs/download.php/file/37313/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/file/37842/%{name}-%{version}.tar.gz
 # Man pages written by Jerry James using text found in the sources.  Hence,
 # the copyright and license are the same as for the upstream sources.
 Source1:        %{name}-man.tar.xz
@@ -165,7 +165,6 @@ rm -fr %{buildroot}%{_datadir}/doc
 # Fix permissions
 chmod 0755 %{buildroot}%{_bindir}/* \
            %{buildroot}%{_libdir}/%{name}/commands/* \
-           %{buildroot}%{_libdir}/%{name}/coq-tactic/*.cmxs \
            %{buildroot}%{_libdir}/%{name}/plugins/*.cmxs
 
 %files
@@ -196,6 +195,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
 %files all
 
 %changelog
+* Sat Jan 26 2018 Jerry James <loganjerry@gmail.com> - 1.1.1-1
+- New upstream release
+
 * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.88.3-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild