slackbuilds_ponce/development/spin/spin.info
Jockey S. Kyd 321157f485 development/spin: Added (model checker)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2011-09-28 08:34:57 -03:00

10 lines
273 B
Text

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"