From 2687aa87229ff4290799ae16620ec9ea00b668c4 Mon Sep 17 00:00:00 2001 From: Alexander Kurtakov Date: Mar 07 2010 14:36:44 +0000 Subject: Update to 2.1.1. --- diff --git a/.cvsignore b/.cvsignore index daef1fd..a90e6ce 100644 --- a/.cvsignore +++ b/.cvsignore @@ -3,3 +3,4 @@ org.sat4j.pb-src.zip sat4j-2.0.3.tar.bz2 sat4j-2.1.0.RC2.tar.bz2 sat4j-2.1.0.tar.bz2 +sat4j-2.1.1.tar.bz2 diff --git a/sat4j-fetch.sh b/sat4j-fetch.sh index cf82251..343faa7 100644 --- a/sat4j-fetch.sh +++ b/sat4j-fetch.sh @@ -1,7 +1,7 @@ #!/bin/sh name=sat4j -tag=2_1_0_ECLIPSE -version=2.1.0 +tag=2_1_1 +version=2.1.1 tar_name=$name-$version rm -fr $tar_name && mkdir $tar_name diff --git a/sat4j.spec b/sat4j.spec index b3b2f93..1c0bf4c 100644 --- a/sat4j.spec +++ b/sat4j.spec @@ -1,9 +1,9 @@ %define eclipse_base %{_libdir}/eclipse # We want the version to match that shipped in Eclipse's Orbit project -%define qualifier 20090520 +%define qualifier 20090825 Name: sat4j -Version: 2.1.0 +Version: 2.1.1 Release: 1%{?dist} Summary: A library of SAT solvers written in Java @@ -55,6 +55,9 @@ rm -rf $RPM_BUILD_ROOT %{_javadir}/org.sat4j* %changelog +* Sun Mar 7 2010 Alexander Kurtakov 2.1.1-1 +- Update to 2.1.1. + * Tue Aug 4 2009 Alexander Kurtakov 2.1.0-1 - Update to 2.1.0 final. diff --git a/sources b/sources index 0b78795..d124c44 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -57af4240773eaef709ee9621fe30f64b sat4j-2.1.0.tar.bz2 +61a2bb0923490e6c34c6fa66b83152c2 sat4j-2.1.1.tar.bz2