commit d1a407063785e44a29dc0f9d1aed542b6aaece88
Author: Chris Aniszczyk <caniszczyk(a)gmail.com>
Date: Tue Apr 5 10:58:34 2011 -0500
Revert "- Update to 2.3.0."
This reverts commit d6f44732c7019ad4a0cd6977b11af0f586079904.
.gitignore | 1 -
sat4j-fetch.sh | 4 ++--
sat4j.spec | 7 ++-----
sources | 2 +-
4 files changed, 5 insertions(+), 9 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index ca4f871..41364b8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,4 +6,3 @@ 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 faf336e..73c0708 100644
--- a/sat4j-fetch.sh
+++ b/sat4j-fetch.sh
@@ -1,7 +1,7 @@
#!/bin/sh
name=sat4j
-tag=org.sat4j.pom-2.3.0
-version=2.3.0
+tag=ECLIPSE_3_6
+version=2.2.0
tar_name=$name-$version
rm -fr $tar_name && mkdir $tar_name
diff --git a/sat4j.spec b/sat4j.spec
index fb90ca5..c1423dd 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -3,8 +3,8 @@
%global qualifier 20100429
Name: sat4j
-Version: 2.3.0
-Release: 1%{?dist}
+Version: 2.2.0
+Release: 2%{?dist}
Summary: A library of SAT solvers written in Java
Group: Development/Libraries
@@ -57,9 +57,6 @@ 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 7ceda3d..7f954db 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-aacb839425184b8059d8471083558960 sat4j-2.3.0.tar.xz
+5bbf217038fd9b1df5178a588ca1d2c9 sat4j-2.2.0.tar.xz