Index of /x86_64/extra-15.0/source/academic/cryptominisat/

../
README                                             03-Jun-2022 15:29                 532
cryptominisat-5.7.1.tar.gz                         03-Jun-2022 22:51              882748
cryptominisat.SlackBuild                           11-Mar-2022 05:34                3470
cryptominisat.info                                 03-Jun-2022 15:29                 333
slack-desc                                         03-Jun-2022 15:29                1192