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