summaryrefslogtreecommitdiff
path: root/development/spin/spin.info
diff options
context:
space:
mode:
authorJockey S. Kyd <jockey.kyd@gmail.com>2011-09-28 08:34:57 -0300
committerNiels Horn <niels.horn@slackbuilds.org>2011-09-28 08:34:57 -0300
commit321157f485807323a13c9683d567a72104d45274 (patch)
tree517e7920ec54b3a425e1cc74cc21e566a03bd9e4 /development/spin/spin.info
parent9eea3d3eb6c2929209131c7fe7436d252dc576bd (diff)
downloadslackbuilds-321157f485807323a13c9683d567a72104d45274.tar.gz
development/spin: Added (model checker)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/spin/spin.info')
-rw-r--r--development/spin/spin.info10
1 files changed, 10 insertions, 0 deletions
diff --git a/development/spin/spin.info b/development/spin/spin.info
new file mode 100644
index 0000000000..bd86bb6f62
--- /dev/null
+++ b/development/spin/spin.info
@@ -0,0 +1,10 @@
+PRGNAM="spin"
+VERSION="6.1.0"
+HOMEPAGE="http://spinroot.com/"
+DOWNLOAD="http://spinroot.com/spin/Src/spin610.tar.gz"
+MD5SUM="89c0d322c3a5aded1fda9b0d30327d19"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+MAINTAINER="Jockey S. Kyd"
+EMAIL="jockey.kyd@gmail.com"
+APPROVED="Niels Horn"