summaryrefslogtreecommitdiff
path: root/homebrew/spin/_metadata
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/spin/_metadata')
-rw-r--r--homebrew/spin/_metadata/description1
-rw-r--r--homebrew/spin/_metadata/homepage1
-rw-r--r--homebrew/spin/_metadata/name1
-rw-r--r--homebrew/spin/_metadata/version1
4 files changed, 4 insertions, 0 deletions
diff --git a/homebrew/spin/_metadata/description b/homebrew/spin/_metadata/description
new file mode 100644
index 000000000..9d37349b8
--- /dev/null
+++ b/homebrew/spin/_metadata/description
@@ -0,0 +1 @@
+The efficient verification tool of multi-threaded software
diff --git a/homebrew/spin/_metadata/homepage b/homebrew/spin/_metadata/homepage
new file mode 100644
index 000000000..efa68d1a9
--- /dev/null
+++ b/homebrew/spin/_metadata/homepage
@@ -0,0 +1 @@
+https://spinroot.com/spin/whatispin.html
diff --git a/homebrew/spin/_metadata/name b/homebrew/spin/_metadata/name
new file mode 100644
index 000000000..906b3ef38
--- /dev/null
+++ b/homebrew/spin/_metadata/name
@@ -0,0 +1 @@
+Spin
diff --git a/homebrew/spin/_metadata/version b/homebrew/spin/_metadata/version
new file mode 100644
index 000000000..775971ea0
--- /dev/null
+++ b/homebrew/spin/_metadata/version
@@ -0,0 +1 @@
+648