[stp] Update to recent subversion snapshot.

[Jerry James]

commit ac0aca04f4bcbc6da72f0d177073acb2015abfbc
Author: Jerry James <loganjerry at gmail.com>
Date:   Wed Oct 17 16:31:14 2012 -0600

    Update to recent subversion snapshot.

 sources  |    2 +-
 stp.spec |    9 ++++++---
 2 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/sources b/sources
index 8052399..69df4f9 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-23ee46548b338443fd741ba2e50000e3  stp-0.1.tar.xz
+d95a610676c582330d45aa85e6755e0c  stp-0.1.tar.xz
diff --git a/stp.spec b/stp.spec
index f83e31e..6fb304c 100644
--- a/stp.spec
+++ b/stp.spec
@@ -1,11 +1,11 @@
 # Upstream occasionally releases a subversion snapshot, but no "regular"
 # releases since the 0.1 release.
-%global svnver 1666
-%global svntim 20120615svn
+%global svnver 1668
+%global svntim 20121002svn
 
 Name:		stp
 Version:	0.1
-Release:	11.%{svntim}%{?dist}
+Release:	12.%{svntim}%{?dist}
 Summary:	Constraint solver/decision procedure
 
 Group:		Applications/Engineering
@@ -123,6 +123,9 @@ make install PREFIX=%{buildroot}%{_prefix} LIB_DIR=%{buildroot}%{_libdir}
 %{_includedir}/stp/
 
 %changelog
+* Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 0.1-12.20121002svn
+- Update to recent subversion snapshot
+
 * Tue Aug  7 2012 Jerry James <loganjerry at gmail.com> - 0.1-11.20120615svn
 - Update to recent subversion snapshot
 - Do not build bundled cryptominisat