summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
38cacf1)
Changed files:
coq.spec -> 1.9
# ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/patch-coq-8.0pl2-ocaml-3.09
Patch0: %{name}-ocaml-3.09.patch
Patch1: %{name}-lablgtk26.patch
# ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/patch-coq-8.0pl2-ocaml-3.09
Patch0: %{name}-ocaml-3.09.patch
Patch1: %{name}-lablgtk26.patch
URL: http://coq.inria.fr/
BuildRequires: emacs
BuildRequires: ocaml >= 3.09.0
URL: http://coq.inria.fr/
BuildRequires: emacs
BuildRequires: ocaml >= 3.09.0