PRGNAM="alloy" VERSION="4.1.10" HOMEPAGE="http://alloy.mit.edu/" DOWNLOAD="http://alloy.mit.edu/alloy/downloads/alloy4.jar" MD5SUM="5893b41934de4d339f9b15e2c254e10c" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="jdk" MAINTAINER="Jockey S. Kyd" EMAIL="jockey.kyd@gmail.com"