++======================================== || || Package: ./academic/cryptominisat/cryptominisat-5.7.1-x86_64-1_slonly.txz || ++======================================== drwxr-xr-x root/root 0 2022-03-24 09:00 ./ drwxr-xr-x root/root 0 2022-03-24 09:00 install/ -rw-r--r-- root/root 119 2022-03-24 09:00 install/doinst.sh -rw-r--r-- root/root 1192 2022-03-24 09:00 install/slack-desc drwxr-xr-x root/root 0 2022-03-24 09:00 usr/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/bin/ -rwxr-xr-x root/root 241240 2022-03-24 09:00 usr/bin/cryptominisat5 -rwxr-xr-x root/root 47928 2022-03-24 09:00 usr/bin/cryptominisat5_simple drwxr-xr-x root/root 0 2022-03-24 09:00 usr/doc/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/doc/cryptominisat-5.7.1/ -rw-r--r-- root/root 338 2020-05-03 07:34 usr/doc/cryptominisat-5.7.1/AUTHORS -rw-r--r-- root/root 2452 2020-05-03 07:34 usr/doc/cryptominisat-5.7.1/LICENSE.txt -rw-r--r-- root/root 16810 2020-05-03 07:34 usr/doc/cryptominisat-5.7.1/README.markdown -rw-r--r-- root/root 3470 2022-03-24 09:00 usr/doc/cryptominisat-5.7.1/cryptominisat.SlackBuild drwxr-xr-x root/root 0 2022-03-24 09:00 usr/include/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/include/cryptominisat5/ -rw-r--r-- root/root 11185 2022-03-24 08:59 usr/include/cryptominisat5/cryptominisat.h -rw-r--r-- root/root 3778 2022-03-24 08:59 usr/include/cryptominisat5/cryptominisat_c.h -rw-r--r-- root/root 14429 2020-05-03 07:34 usr/include/cryptominisat5/dimacsparser.h -rw-r--r-- root/root 5532 2022-03-24 08:59 usr/include/cryptominisat5/solvertypesmini.h -rw-r--r-- root/root 5509 2020-05-03 07:34 usr/include/cryptominisat5/streambuffer.h drwxr-xr-x root/root 0 2022-03-24 09:00 usr/lib/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/lib/cmake/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/lib/cmake/cryptominisat5/ -rw-r--r-- root/root 898 2022-03-24 08:59 usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -rw-r--r-- root/root 864 2022-03-24 08:59 usr/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -rw-r--r-- root/root 3751 2022-03-24 08:59 usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake drwxr-xr-x root/root 0 2022-03-24 09:00 usr/lib64/ -rwxr-xr-x root/root 954064 2022-03-24 09:00 usr/lib64/libcryptominisat5.so.5.7 drwxr-xr-x root/root 0 2022-03-24 09:00 usr/lib64/python3.9/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/lib64/python3.9/site-packages/ -rw-r--r-- root/root 6179 2022-03-24 09:00 usr/lib64/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info -rwxr-xr-x root/root 40568 2022-03-24 09:00 usr/lib64/python3.9/site-packages/pycryptosat.cpython-39-x86_64-linux-gnu.so drwxr-xr-x root/root 0 2022-03-24 09:00 usr/man/ drwxr-xr-x root/root 0 2022-03-24 09:00 usr/man/man1/ -rw-r--r-- root/root 6340 2022-03-24 09:00 usr/man/man1/cryptominisat5.1.gz -rw-r--r-- root/root 652 2022-03-24 09:00 usr/man/man1/cryptominisat5_simple.1.gz