mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-22 19:44:21 +01:00
3515f10a97
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
10 lines
300 B
Text
10 lines
300 B
Text
PRGNAM="mcrl2"
|
|
VERSION="201107"
|
|
HOMEPAGE="http://www.mcrl2.org"
|
|
DOWNLOAD="http://www.win.tue.nl/mcrl2/download/release/mcrl2-201107-src.tar.gz"
|
|
MD5SUM="f2b6dac7786815cc9f01635add8507d4"
|
|
DOWNLOAD_x86_64=""
|
|
MD5SUM_x86_64=""
|
|
MAINTAINER="Jockey S. Kyd"
|
|
EMAIL="jockey.kyd@gmail.com"
|
|
APPROVED="Niels Horn"
|