new version

diff --git a/VERSION.cmake b/VERSION.cmake
index e82a45c..7454ceb 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,5 +46,5 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "0")
-SET(LIBSATSOLVER_PATCH "31")
+SET(LIBSATSOLVER_PATCH "32")
 

diff --git a/package/libsatsolver.changes b/package/libsatsolver.changes
index 3ceefb1..36b6eff 100644 (file)
--- a/package/libsatsolver.changes
+++ b/package/libsatsolver.changes
@@ -1,4 +1,19 @@
 -------------------------------------------------------------------
+Mon May  5 16:24:14 CEST 2008 - coolo@suse.de
+
+- add obsoleteusesprovides and implicitobsoleteusesprovides solver
+  flags
+- speed up solving by not recreating the watch chains every time
+  some rule is enabled/disabled. To do this, the "disabled" flag
+  had to be moved from w1 to d.
+- fix bug that broke rule disabling when "forceResolve" was true
+- fix bug in update rule calculation
+- speed up solver a bit by creating a queue holding all assertion
+  rules, so we do not have to scan all rules for assertions
+- parse also DISTPRODUCT and DISTVERSION (for registration), and the other
+  (often unused) attributes of products.
+
+-------------------------------------------------------------------
 Mon Apr 28 19:36:54 CEST 2008 - coolo@suse.de
 
 - (De-)Serialize structured types.  Dataiterator and repo_search support