1 files changed, 19 insertions, 0 deletions
diff --git a/homebrew/spin/.beer b/homebrew/spin/.beer
new file mode 100644
index 000000000..c7f199760
--- /dev/null
+++ b/homebrew/spin/.beer
@@ -0,0 +1,19 @@
+{
+    "name": "Spin",
+    "description": "The efficient verification tool of multi-threaded software",
+    "url": "https://spinroot.com/spin/Src/spin648.tar.gz",
+    "mirror": null,
+    "homepage": "https://spinroot.com/spin/whatispin.html",
+    "depends": [],
+    "resource": [],
+    "conflicts": [],
+    "patches": [],
+    "install": [
+        "ENV.deparallelize",
+        "cd \"Src#{version}\" do",
+        "system \"make\"",
+        "bin.install \"spin\""
+    ],
+    "version": "648",
+    "file": "spin.rb"
+}
+\ No newline at end of file