diff options
| -rw-r--r-- | distrib/RH/coq_ext_for_pcoq.spec | 2 | ||||
| -rw-r--r-- | distrib/RH/coqide.spec | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec index 734afb961f..61f738c892 100644 --- a/distrib/RH/coq_ext_for_pcoq.spec +++ b/distrib/RH/coq_ext_for_pcoq.spec @@ -15,7 +15,7 @@ The Coq Extension for Pcoq provides all facilities to interface Coq with Pcoq %prep -%setup -n coq-8.0cdrom +%setup -n coq-8.0 %build ./configure -prefix /usr -emacslib /usr/share/emacs/site-lisp -opt -reals all -coqide no # Need ocamlc.opt and ocamlopt.opt diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec index 81b2e56340..754583ec70 100644 --- a/distrib/RH/coqide.spec +++ b/distrib/RH/coqide.spec @@ -6,7 +6,7 @@ Copyright: freely redistributable Group: Applications/Math Vendor: INRIA & LRI URL: http://coq.inria.fr -Source: ftp://ftp.inria.fr/INRIA/coq/V8.0beta/coq-8.0.tar.gz +Source: ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0.tar.gz Icon: petit-coq.gif Requires: coq = 8.0 @@ -15,7 +15,7 @@ The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant %prep -%setup -n coq-8.0cdrom +%setup -n coq-8.0 %build ./configure -prefix /usr -emacslib /usr/share/emacs/site-lisp -opt -reals all # Need ocamlc.opt and ocamlopt.opt |