1 files changed, 29 insertions, 0 deletions
diff --git a/vcpkg/versions/m-/minisat-master-keying.json b/vcpkg/versions/m-/minisat-master-keying.json
new file mode 100644
index 0000000..34bcb24
--- /dev/null
+++ b/vcpkg/versions/m-/minisat-master-keying.json
@@ -0,0 +1,29 @@
+{
+  "versions": [
+    {
+      "git-tree": "96e49304f51f7f37b5813ccb64cb6469a3301425",
+      "version": "2.3.6",
+      "port-version": 1
+    },
+    {
+      "git-tree": "e7f174538407ae3f279ab4c7d2025a8545d220c9",
+      "version": "2.3.6",
+      "port-version": 0
+    },
+    {
+      "git-tree": "175ab6a87c6a80cbbd2ff26c976c17cab6e8fff6",
+      "version-string": "2.2-mod",
+      "port-version": 3
+    },
+    {
+      "git-tree": "e81450d91579aa1a04809cc891ed2c43cd26e86e",
+      "version-string": "2.2-mod-2",
+      "port-version": 0
+    },
+    {
+      "git-tree": "db459cec0c867d26462d4d6dea430a824826e65c",
+      "version-string": "2.2-mod-1",
+      "port-version": 0
+    }
+  ]
+}