summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
680764b)
Changed files:
coq.spec -> 1.2
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
+Patch0: coq-ocaml-3.07.patch
Icon: petit-coq.gif
BuildRequires: ocaml
BuildRequires: emacs
Icon: petit-coq.gif
BuildRequires: ocaml
BuildRequires: emacs