Hello community,
here is the log from the commit of package sat4j for openSUSE:Factory checked
in at 2012-10-23 21:26:30
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/sat4j (Old)
and /work/SRC/openSUSE:Factory/.sat4j.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "sat4j", Maintainer is ""
Changes:
--------
--- /work/SRC/openSUSE:Factory/sat4j/sat4j.changes 2012-06-18
16:30:14.000000000 +0200
+++ /work/SRC/openSUSE:Factory/.sat4j.new/sat4j.changes 2012-10-23
21:26:32.000000000 +0200
@@ -1,0 +2,14 @@
+Thu Oct 18 08:59:57 UTC 2012 - p.drou...@gmail.com
+
+- Update to 2.3.2 version :
+ * Bug [SAT-55] Fix memory leak in case of repeated use of Sat4j in an
application
+ * Bug [SAT-60] ClassCastException when a class implements Propagatable but
not Constr watches a conflicting literal
+ * Improvement [SAT-38] Investigate usage of plain CNF rather than custom
cardinality of PB constraints
+ * Improvement [SAT-59] Use package-info.java instead of package.html for
package JavaDoc
+ * Improvement [SAT-67] Concurrent calls to isSatisfiable
+ * New Feature [SAT-56] Allow the end user to visualize the search of the
solvers
+ * New Feature [SAT-63] Make Java 1.5 binaries instead of 1.4
+ * New Feature [SAT-71] Add statistics in ManyCore solvers on the solvers that
answers
+ * Sub-task [SAT-51] Allow usage of Lower Bounding on Sat4j PB command line
+
+-------------------------------------------------------------------
Old:
----
sat4j-2.0.3.tar.bz2
New:
----
sat4j-2.3.2.tar.bz2
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ sat4j.spec ++++++
--- /var/tmp/diff_new_pack.yx70GV/_old 2012-10-23 21:26:48.000000000 +0200
+++ /var/tmp/diff_new_pack.yx70GV/_new 2012-10-23 21:26:48.000000000 +0200
@@ -18,21 +18,21 @@
%define eclipse_base %{_libdir}/eclipse
# We want the version to match that shipped in Eclipse's Orbit project
-%define qualifier 20081021
+%define qualifier 20120709
Name: sat4j
-Version: 2.0.3
+Version: 2.3.2
Release: 0
Summary: A library of SAT solvers written in Java
License: EPL-1.0 and LGPL-2.0
Group: Development/Libraries/Java
Url: http://www.sat4j.org/
-# svn co svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_0_3
sat4j-2.0.3
+# svn co
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.3.2
Source0: %{name}-%{version}.tar.bz2
BuildRoot: %{_tmppath}/%{name}-%{version}-build
BuildRequires: ant
-BuildRequires: java-devel >= 1.6
-Requires: java >= 1.6
+BuildRequires: java-devel >= 1.7
+Requires: java >= 1.7
Requires: jpackage-utils
BuildArch: noarch
@@ -43,13 +43,13 @@
without worrying about the details.
%prep
-%setup -q
+%setup -q -n org.%{name}.pom-%{version}
# Only used for the tests
rm lib/commons-cli.jar
%build
#ant -Drelease=%{version} -DBUILD_DATE=`LC_ALL=C date +'%Y%m%d'` p2
-ant -Dbuild.compiler=modern -Drelease=%{version} -DBUILD_DATE=%{qualifier}
-Dtarget=1.5 p2
+ant -Dbuild.compiler=modern -Drelease=%{version} -DBUILD_DATE=%{qualifier}
-Dtarget=1.7 p2
%install
%{__install} -d -m 755 %{buildroot}%{_javadir}
++++++ sat4j-2.0.3.tar.bz2 -> sat4j-2.3.2.tar.bz2 ++++++
/work/SRC/openSUSE:Factory/sat4j/sat4j-2.0.3.tar.bz2
/work/SRC/openSUSE:Factory/.sat4j.new/sat4j-2.3.2.tar.bz2 differ: char 11, line
1
--
To unsubscribe, e-mail: opensuse-commit+unsubscr...@opensuse.org
For additional commands, e-mail: opensuse-commit+h...@opensuse.org
