commit 32a90b6011184e5b2e760a82087d49175d14b8d7
Author: Chris Aniszczyk <zx(a)redhat.com>
Date: Mon Apr 4 12:31:04 2011 -0500
- Update to 2.3.0.
.gitignore | 1 +
sat4j-fetch.sh | 4 ++--
sat4j.spec | 7 +++++--
sources | 2 +-
4 files changed, 9 insertions(+), 5 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 41364b8..ca4f871 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ sat4j-2.1.0.tar.bz2
sat4j-2.1.1.tar.bz2
sat4j-2.1.1.tar.lzma
sat4j-2.2.0.tar.xz
+sat4j-2.3.0.tar.xz
diff --git a/sat4j-fetch.sh b/sat4j-fetch.sh
index 73c0708..faf336e 100644
--- a/sat4j-fetch.sh
+++ b/sat4j-fetch.sh
@@ -1,7 +1,7 @@
#!/bin/sh
name=sat4j
-tag=ECLIPSE_3_6
-version=2.2.0
+tag=org.sat4j.pom-2.3.0
+version=2.3.0
tar_name=$name-$version
rm -fr $tar_name && mkdir $tar_name
diff --git a/sat4j.spec b/sat4j.spec
index c1423dd..fb90ca5 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -3,8 +3,8 @@
%global qualifier 20100429
Name: sat4j
-Version: 2.2.0
-Release: 2%{?dist}
+Version: 2.3.0
+Release: 1%{?dist}
Summary: A library of SAT solvers written in Java
Group: Development/Libraries
@@ -57,6 +57,9 @@ rm -rf $RPM_BUILD_ROOT
%{_javadir}/org.sat4j*
%changelog
+* Mon Apr 04 2011 Chris Aniszczyk <zx(a)redhat.com> 2.3.0-1
+- Update to 2.3.0.
+
* Wed Feb 09 2011 Fedora Release Engineering <rel-eng(a)lists.fedoraproject.org> -
2.2.0-2
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
diff --git a/sources b/sources
index 7f954db..7ceda3d 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-5bbf217038fd9b1df5178a588ca1d2c9 sat4j-2.2.0.tar.xz
+aacb839425184b8059d8471083558960 sat4j-2.3.0.tar.xz