move to own git serverHEADmaster

1 files changed, 20 insertions, 0 deletions

diff --git a/vcpkg/ports/minisat-master-keying/vcpkg.json b/vcpkg/ports/minisat-master-keying/vcpkg.json
new file mode 100644
index 0000000..7b5a96c
--- /dev/null
+++ b/vcpkg/ports/minisat-master-keying/vcpkg.json
@@ -0,0 +1,20 @@
+{
+  "name": "minisat-master-keying",
+  "version": "2.3.6",
+  "port-version": 1,
+  "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",
+  "dependencies": [
+    {
+      "name": "vcpkg-cmake",
+      "host": true
+    },
+    {
+      "name": "vcpkg-cmake-config",
+      "host": true
+    }
+  ]
+}