[alt-ergo] Update to version 0.95.1. Drop upstreamed -install patch.

[Jerry James]

commit 8c08f6c9bcaba43e53462d27f0eccd9dc3736a31
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Tue Mar 5 15:56:34 2013 -0700

    Update to version 0.95.1.
    Drop upstreamed -install patch.

 .gitignore             |    2 +-
 alt-ergo-install.patch |   20 --------------------
 alt-ergo.spec          |   14 +++++++-------
 sources                |    2 +-
 4 files changed, 9 insertions(+), 29 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 9499cf3..5dbc5aa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/alt-ergo-0.95.tar.gz
+/alt-ergo-0.95.1.tar.gz
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 2a91265..9323dee 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -6,8 +6,8 @@
 %define debug_package %{nil}
 
 Name:		alt-ergo
-Version:	0.95
-Release:	2%{?dist}
+Version:	0.95.1
+Release:	1%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 
 Group:		Applications/Engineering
@@ -17,9 +17,6 @@ Source0:	http://alt-ergo.lri.fr/http/%{name}-%{version}/%{name}-%{version}.tar.g
 Source1:	swap0_why.why
 Source2:	README.alt-ergo
 Source3:	%{name}.desktop
-# Sent upstream 14 Jan 2013.  Patch the Makefile to fix one place where it
-# fails to use DESTDIR.
-Patch0:         %{name}-install.patch
 
 BuildRequires:	desktop-file-utils
 BuildRequires:	gtksourceview2-devel
@@ -55,7 +52,6 @@ A graphical front end for the alt-ergo theorem prover.
 
 %prep
 %setup -q
-%patch0
 
 cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} .
 
@@ -80,7 +76,7 @@ touch -r CeCILL-C CeCILL-C.utf8
 mv -f CeCILL-C.utf8 CeCILL-C
 
 %if %{opt}
-strip ./alt-ergo.opt
+strip ./alt-ergo.opt ./altgr-ergo.opt
 execstack -c ./alt-ergo.opt
 %endif
 
@@ -122,6 +118,10 @@ update-desktop-database &> /dev/null || :
 %{_datadir}/gtksourceview-2.0/language-specs/%{name}.lang
 
 %changelog
+* Tue Mar  5 2013 Jerry James <loganjerry at gmail.com> - 0.95.1-1
+- Update to version 0.95.1
+- Drop upstreamed -install patch
+
 * Wed Feb 13 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.95-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
 
diff --git a/sources b/sources
index 9f2fe96..78d910c 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-1c5f8a19c505ccacdd6a6dfe3f046b5c  alt-ergo-0.95.tar.gz
+c0f1cbfdae04f1c37853ed5fd10154ec  alt-ergo-0.95.1.tar.gz