diff options
| author | barras | 2004-04-07 15:42:30 +0000 |
|---|---|---|
| committer | barras | 2004-04-07 15:42:30 +0000 |
| commit | 33c60bc1be8a4495d2f343d05938521f8194639a (patch) | |
| tree | 9d922f087d886178dbcd0d7eaf38d619f36ea41f /distrib/RH | |
| parent | bcacb27430bf8b16cf80a460063159e5ae525a57 (diff) | |
preparation a la release 8.0
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5655 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/RH')
| -rw-r--r-- | distrib/RH/coq.spec | 4 | ||||
| -rw-r--r-- | distrib/RH/coq_ext_for_pcoq.spec | 6 | ||||
| -rw-r--r-- | distrib/RH/coqide.spec | 6 |
3 files changed, 8 insertions, 8 deletions
diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec index c8945b4fa7..f28177e03a 100644 --- a/distrib/RH/coq.spec +++ b/distrib/RH/coq.spec @@ -1,12 +1,12 @@ Name: coq -Version: 8.0cdrom +Version: 8.0 Release: 1 Summary: The Coq Proof Assistant Copyright: freely redistributable Group: Applications/Math Vendor: INRIA & LRI URL: http://coq.inria.fr -Source: ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0cdrom.tar.gz +Source: ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0.tar.gz Icon: petit-coq.gif %description diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec index f774372e6d..734afb961f 100644 --- a/distrib/RH/coq_ext_for_pcoq.spec +++ b/distrib/RH/coq_ext_for_pcoq.spec @@ -1,14 +1,14 @@ Name: coq_ext_for_pcoq -Version: 8.0cdrom +Version: 8.0 Release: 1 Summary: The Coq Extension for Pcoq Copyright: freely redistributable Group: Applications/Math Vendor: INRIA & LRI URL: http://coq.inria.fr -Source: ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0cdrom.tar.gz +Source: ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0.tar.gz Icon: petit-coq.gif -Requires: coq = 8.0cdrom +Requires: coq = 8.0 %description The Coq Extension for Pcoq provides all facilities to interface Coq with diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec index 420589b266..81b2e56340 100644 --- a/distrib/RH/coqide.spec +++ b/distrib/RH/coqide.spec @@ -1,14 +1,14 @@ Name: coqide -Version: 8.0cdrom +Version: 8.0 Release: 1 Summary: The Coq Integrated Development Interface 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.0cdrom.tar.gz +Source: ftp://ftp.inria.fr/INRIA/coq/V8.0beta/coq-8.0.tar.gz Icon: petit-coq.gif -Requires: coq = 8.0cdrom +Requires: coq = 8.0 %description The Coq Integrated Development Interface is a graphical interface for the |