diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist index 57be1f56c873..347ac79dd569 100644 --- a/math/cryptominisat/pkg-plist +++ b/math/cryptominisat/pkg-plist @@ -1,12 +1,13 @@ bin/cryptominisat5 bin/cryptominisat5_simple include/cryptominisat5/cryptominisat.h include/cryptominisat5/cryptominisat_c.h include/cryptominisat5/dimacsparser.h include/cryptominisat5/solvertypesmini.h include/cryptominisat5/streambuffer.h lib/cmake/cryptominisat5/cryptominisat5Config.cmake +lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/cryptominisat5/cryptominisat5Targets.cmake lib/libcryptominisat5.so lib/libcryptominisat5.so.5.11