diff options
| author | Jockey S. Kyd <jockey.kyd@gmail.com> | 2011-09-28 08:34:57 -0300 |
|---|---|---|
| committer | Niels Horn <niels.horn@slackbuilds.org> | 2011-09-28 08:34:57 -0300 |
| commit | 321157f485807323a13c9683d567a72104d45274 (patch) | |
| tree | 517e7920ec54b3a425e1cc74cc21e566a03bd9e4 /development/spin/spin.info | |
| parent | 9eea3d3eb6c2929209131c7fe7436d252dc576bd (diff) | |
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.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/spin/spin.info b/development/spin/spin.info new file mode 100644 index 000000000000..bd86bb6f622f --- /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" |