summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat
Invalid branch: Mako