URL: http://coq.inria.fr
Source0: ftp://ftp.inria.fr/INRIA/coq/V7.4/%{name}-%{version}.tar.gz
# Source0-md5: 13ac61f150823e54ad84a9096e2dd646
URL: http://coq.inria.fr
Source0: ftp://ftp.inria.fr/INRIA/coq/V7.4/%{name}-%{version}.tar.gz
# Source0-md5: 13ac61f150823e54ad84a9096e2dd646