[prover9/f14/master] Update to version 200911a.

[David A. Wheeler]

commit b2b1666d7c9d37459aa24ee5652ef42254a2ef20
Author: David A. Wheeler <dwheeler at dwheeler.com>
Date:   Thu Aug 5 21:21:28 2010 -0400

    Update to version 200911a.

 .gitignore   |    2 ++
 prover9.spec |   16 ++++++++++++----
 sources      |    4 ++--
 3 files changed, 16 insertions(+), 6 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 3f1ec73..95d79a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
 LADR-2008-05A.tar.gz
 prover9-manual-2008-05A.tar.gz
+LADR-2009-11A.tar.gz
+prover9-manual-2009-11A.tar.gz
diff --git a/prover9.spec b/prover9.spec
index af5a1f4..0451a76 100644
--- a/prover9.spec
+++ b/prover9.spec
@@ -1,10 +1,10 @@
 %define upstreamname LADR
-%define upstreamver 2008-05A
+%define upstreamver 2009-11A
 
 Name:           prover9
-Version:        200805a
-Release:        6%{?dist}
-Summary:        Thereom Prover and Countermodel Generator
+Version:        200911a
+Release:        1%{?dist}
+Summary:        Theorem Prover and Countermodel Generator
 
 Group:          Applications/Productivity
 # All files are GPLv2 except utilities/gvizify which is GPLv2+
@@ -172,9 +172,11 @@ make test1 test2 test3
 %{_bindir}/%{name}-autosketches4
 %{_bindir}/%{name}-clausefilter
 %{_bindir}/%{name}-clausetester
+%{_bindir}/%{name}-complex
 %{_bindir}/%{name}-directproof
 %{_bindir}/%{name}-dprofiles
 %{_bindir}/%{name}-fof-prover9
+%{_bindir}/%{name}-gen_trc_defs
 %{_bindir}/%{name}-get_givens
 %{_bindir}/%{name}-get_interps
 %{_bindir}/%{name}-get_kept
@@ -193,6 +195,7 @@ make test1 test2 test3
 %{_bindir}/%{name}-renamer
 %{_bindir}/%{name}-rewriter
 %{_bindir}/%{name}-sigtest
+%{_bindir}/%{name}-test_complex
 %{_bindir}/%{name}-tptp_to_ladr
 %{_bindir}/%{name}-unfast
 %{_bindir}/%{name}-upper-covers
@@ -209,6 +212,11 @@ make test1 test2 test3
 
 
 %changelog
+* Sat Jul 24 2010 David A. Wheeler <dwheeler at dwheeler.com> - 200911a-1
+- Update to upstream version 200911a.
+- Adds prover9-complex, prover9-gen_trc_defs, prover9-test_complex.
+- Fix spelling in RPM summary.
+
 * Sun Jul 26 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 200805a-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
 
diff --git a/sources b/sources
index adfe5d7..68ed5f1 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-73cba4f17bee85f85c579a7dd8c7f099  LADR-2008-05A.tar.gz
-a544ecd335070e5ef24c84f7eef936f7  prover9-manual-2008-05A.tar.gz
+ab409f31ecbb4410b1c7d75deadea2c6  LADR-2009-11A.tar.gz
+23fbb9c6b3cbfbb2b893fb788e248a29  prover9-manual-2009-11A.tar.gz