slackbuilds_ponce/development/mcrl2/mcrl2.info

PRGNAM="mcrl2"
VERSION="201409.1"
HOMEPAGE="http://www.mcrl2.org"
DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201409.1.tar.gz"
MD5SUM="32818c4111aa406033e865c30ac7862b"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="Ryan P.C. McQuen"
EMAIL="ryanpcmcquen@member.fsf.org"
development/mcrl2: Added (micro Common Representation Language 2) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> 2011-10-21 21:28:40 +02:00			`PRGNAM="mcrl2"`
development/mcrl2: Updated for version 201409.1. Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com> 2014-12-30 01:00:34 +01:00			`VERSION="201409.1"`
development/mcrl2: Added (micro Common Representation Language 2) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> 2011-10-21 21:28:40 +02:00			`HOMEPAGE="http://www.mcrl2.org"`
development/mcrl2: Updated for version 201409.1. Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com> 2014-12-30 01:00:34 +01:00			`DOWNLOAD="http://www.mcrl2.org/download/release/mcrl2-201409.1.tar.gz"`
			`MD5SUM="32818c4111aa406033e865c30ac7862b"`
development/mcrl2: Added (micro Common Representation Language 2) Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> 2011-10-21 21:28:40 +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/mcrl2: Updated for version 201310.0. + new maintainer. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> 2014-05-06 12:49:11 +02:00			`MAINTAINER="Ryan P.C. McQuen"`
development/mcrl2: Change email. Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com> 2017-01-04 21:48:47 +01:00			`EMAIL="ryanpcmcquen@member.fsf.org"`