3party/vcpkg
0
0
Fork 0
mirror of https://github.com/microsoft/vcpkg.git synced 2024-12-29 11:41:36 +08:00
Code Issues Projects Releases Wiki Activity
vcpkg/ports/minisat-master-keying
History
Martin Hořeňovský fb7b8365fe Add a modernized cross-platform fork of MiniSat 2.2 (#3692) 
* Add a modernized cross-platform fork of MiniSat 2.2

* [minisat-master-keying] Put copyright in correct directory. Lowercase share name.
2018-06-14 22:37:39 +02:00
..
CONTROL
Add a modernized cross-platform fork of MiniSat 2.2 (#3692)
2018-06-14 22:37:39 +02:00
portfile.cmake
Add a modernized cross-platform fork of MiniSat 2.2 (#3692)
2018-06-14 22:37:39 +02:00