From 7f1f2b3e753d3165862849afc2f0122376b80231 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 6 Jan 2004 14:09:13 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5177 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/coq.spec.tpl | 6 +++---
 distrib/check-list      | 5 ++++-
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/distrib/RH/coq.spec.tpl b/distrib/RH/coq.spec.tpl
index 57c7af35d4..b466401d65 100644
--- a/distrib/RH/coq.spec.tpl
+++ b/distrib/RH/coq.spec.tpl
@@ -1,12 +1,12 @@
 Name: coq
-Version: 7.4
+Version: 8.0beta
 Release: 1
 Summary: The Coq Proof Assistant
 Copyright: freely redistributable
 Group: Applications/Math
-Vendor: INRIA Rocquencourt
+Vendor: INRIA & LRI
 URL: http://coq.inria.fr
-Source: ftp://ftp.inria.fr/INRIA/coq/V7.4/coq-7.4.tar.gz
+Source: ftp://ftp.inria.fr/INRIA/coq/V8.0beta/coq-8.0beta.tar.gz
 Icon: petit-coq.gif
 
 %description
diff --git a/distrib/check-list b/distrib/check-list
index c686a58e6c..8e277fef52 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -81,8 +81,11 @@ if [ "$versionspec1" = "$version" -a "$versionspec2" = "$version" ];
 then echo "Version number in coq.spec seems OK ($versionspec1)";
 else
   echo "Wrong version numbers in coq.spec ($versionspec1 and $versionspec2 instead of $version)"
-  echo Aborting; exit 1
+  echo -n " is that OK? "
+  read a
+  if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
 fi
+
 #  ocamlversionspec=`grep "^Requires: ocaml" ./coq.spec | sed -e 's/Requires: ocaml >= \(.*\)/\1/'`
 #  if [ "$ocamlversionspec" = "$ocamlversion" ]
 #  then echo "Required version of Objective Caml in coq.spec seems OK ($ocamlversionspec)"
-- 
cgit v1.2.3