From b0ea0466e7164b5394a88b9e785b96a89df33489 Mon Sep 17 00:00:00 2001 From: Arne Fitzenreiter Date: Thu, 28 Jul 2011 23:05:59 +0200 Subject: [PATCH] rootfile update: libsatsolver. --- config/rootfiles/packages/libsatsolver | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/rootfiles/packages/libsatsolver b/config/rootfiles/packages/libsatsolver index 212eeea538..eba54fb60e 100644 --- a/config/rootfiles/packages/libsatsolver +++ b/config/rootfiles/packages/libsatsolver @@ -46,7 +46,7 @@ #usr/include/satsolver/util.h usr/lib/libsatsolver.so usr/lib/libsatsolver.so.0 -usr/lib/libsatsolver.so.0.16 +usr/lib/libsatsolver.so.0.17 usr/lib/libsatsolverext.so usr/lib/libsatsolverext.so.0 -usr/lib/libsatsolverext.so.0.16 +usr/lib/libsatsolverext.so.0.17 -- 2.39.5