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"