aboutsummaryrefslogtreecommitdiff
path: root/ports/minisat-master-keying
AgeCommit message (Expand)Author
2019-06-10[vcpkg] Add optional 'Homepage' field to CONTROL (#6844)Phil Christensen
2019-05-02Remove references to CMAKE_WINDOWS_EXPORT_ALL_SYMBOLS (#5937)Victor Romero
2018-06-14Add a modernized cross-platform fork of MiniSat 2.2 (#3692)Martin Hořeňovský