[sat4j] Update to latest upstream.

[Krzysztof Daniel]

commit 761b0a6a2a4c44410c15d644a3e1c5623563fc32
Author: Krzysztof Daniel <kdaniel at redhat.com>
Date:   Wed May 29 08:32:05 2013 +0200

    Update to latest upstream.

 .gitignore     |    4 ++++
 sat4j-fetch.sh |    4 ++--
 sat4j.spec     |    5 ++++-
 sources        |    2 +-
 4 files changed, 11 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index a5031a6..0694e7e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,7 @@ sat4j-2.3.0.tar.xz
 /sat4j-2.3.3
 /sat4j-2.3.4.tar.xz
 /sat4j-2.3.4
+/sat4j-2.3.5.tar.xz
+/sat4j-2.3.5
+/.project
+/sat4j-2.3.5-1.fc20.src.rpm
diff --git a/sat4j-fetch.sh b/sat4j-fetch.sh
index 7429f40..9c134d6 100755
--- a/sat4j-fetch.sh
+++ b/sat4j-fetch.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 name=sat4j
-tag=org.ow2.sat4j.pom-2.3.4
-version=2.3.4
+tag=org.ow2.sat4j.pom-2.3.5
+version=2.3.5
 tar_name=$name-$version
 
 rm -fr $tar_name && mkdir $tar_name
diff --git a/sat4j.spec b/sat4j.spec
index ef1c359..c209433 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -7,7 +7,7 @@
 %global build_date 20130405
 
 Name:           %{?scl_prefix}sat4j
-Version:        2.3.4
+Version:        2.3.5
 Release:        1%{?dist}
 Summary:        A library of SAT solvers written in Java
 
@@ -67,6 +67,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_javadir}/org.sat4j*
 
 %changelog
+* Wed May 29 2013 Krzysztof Daniel <kdaniel at redhat.com> 2.3.5-1
+- Update to latest upstream.
+
 * Fri May 10 2013 Krzysztof Daniel <kdaniel at redhat.com> 2.3.4-1
 - Update to latest upstream.
 
diff --git a/sources b/sources
index 50707b4..99442a6 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-631f6f957e8da4afda44df8b693b5994  sat4j-2.3.4.tar.xz
+6708c1339b3fcacbe1b48720d1362808  sat4j-2.3.5.tar.xz