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="orphaned - no maintainer" EMAIL="nobody@nowhere"