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"