PRGNAM="alloy" VERSION="4.2" HOMEPAGE="http://alloy.mit.edu/" DOWNLOAD="http://alloy.mit.edu/alloy/downloads/alloy4.2.jar" MD5SUM="dfc6f233a88738f2ac62bd2d6eb1c2bc" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="jdk" MAINTAINER="Ryan P.C. McQuen" EMAIL="ryan.q@linux.com"