PRGNAM="coq"
VERSION="8.12.2"
HOMEPAGE="http://coq.inria.fr/"
DOWNLOAD="https://github.com/coq/coq/archive/V8.12.2/coq-8.12.2.tar.gz"
MD5SUM="e6746ce2c527e8f9d69a57dc2f7d41d1"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="ocaml-num"
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"