License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
URL: http://coq.inria.fr
Source0: ftp://ftp.inria.fr/INRIA/coq/V7.4/%{name}-%{version}.tar.gz
# Source0-md5: 13ac61f150823e54ad84a9096e2dd646
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
URL: http://coq.inria.fr
Source0: ftp://ftp.inria.fr/INRIA/coq/V7.4/%{name}-%{version}.tar.gz
# Source0-md5: 13ac61f150823e54ad84a9096e2dd646