mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-30 11:39:01 +08:00
d962dc7d65
* [control file] Add optional 'Homepage' tag This allows a 'Homepage' tag to be added to a port in order to support changes such as PR #2933. It currently does not do anything with it. * [docs] Add Homepage to the control file documentation * move urls from descriptions to homepage field.
6 lines
246 B
Plaintext
6 lines
246 B
Plaintext
Source: minisat-master-keying
|
|
Version: 2.2-mod-2
|
|
Description: A minimalistic high-performance SAT solver
|
|
This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat.
|
|
Homepage: https://github.com/master-keying/minisat
|