slackbuilds_ponce/development/spin/spin.info

PRGNAM="spin"
VERSION="6.3.0"
HOMEPAGE="http://spinroot.com/"
DOWNLOAD="http://spinroot.com/spin/Src/spin630.tar.gz"
MD5SUM="547e462d9f4a9dca5db1c375eb0f0f7e"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="Ryan P.C. McQuen"
EMAIL="ryan.q@linux.com"
development/spin: Added (model checker) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> 2011-09-28 13:34:57 +02:00			`PRGNAM="spin"`
development/spin: Updated for version 6.3.0 + new maintainer. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> 2014-05-09 06:37:21 +02:00			`VERSION="6.3.0"`
development/spin: Added (model checker) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> 2011-09-28 13:34:57 +02:00			`HOMEPAGE="http://spinroot.com/"`
development/spin: Updated for version 6.3.0 + new maintainer. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> 2014-05-09 06:37:21 +02:00			`DOWNLOAD="http://spinroot.com/spin/Src/spin630.tar.gz"`
			`MD5SUM="547e462d9f4a9dca5db1c375eb0f0f7e"`
development/spin: Added (model checker) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> 2011-09-28 13:34:57 +02:00			`DOWNLOAD_x86_64=""`
			`MD5SUM_x86_64=""`
Add REQUIRED field to .info files. Signed-off-by: Erik Hanson <erik@slackbuilds.org> 2012-08-20 02:56:45 +02:00			`REQUIRES=""`
development/spin: Updated for version 6.3.0 + new maintainer. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> 2014-05-09 06:37:21 +02:00			`MAINTAINER="Ryan P.C. McQuen"`
			`EMAIL="ryan.q@linux.com"`