summaryrefslogtreecommitdiff
path: root/homebrew/minisat
ModeNameSize
-rw-r--r--.beer967logplain
-rw-r--r--.make.sh-auto98logplain
d---------_metadata142logplain
-rwxr-xr-xdownload.sh70logplain
-rwxr-xr-xpatches.sh216logplain