From 1528839008c9590948f808a43cd3abeb23994634 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 16 Apr 2004 10:49:07 +0000
Subject: MAJ setup

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5680 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/coq_ext_for_pcoq.spec | 2 +-
 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
-- 
cgit v1.2.3