diff --git a/config/rootfiles/packages/python-satsolver b/config/rootfiles/packages/python-satsolver new file mode 100644 index 000000000..6b5e5761d --- /dev/null +++ b/config/rootfiles/packages/python-satsolver @@ -0,0 +1,2 @@ +usr/lib/python2.7/site-packages/_satsolver.so +usr/lib/python2.7/site-packages/satsolver.py