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