rootfile update: libsatsolver.

This commit is contained in:
Arne Fitzenreiter
2011-07-28 23:05:59 +02:00
parent 29873e9fbb
commit b0ea0466e7

View File

@@ -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