aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/RH
diff options
context:
space:
mode:
authorGravatar filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>2003-02-03 08:33:29 +0000
committerGravatar filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>2003-02-03 08:33:29 +0000
commit777a06c8b165f245a064e188c4da3739bd555cc7 (patch)
treef3d6ef80595c5ed9c54dc5a32254100478f5376b /distrib/RH
parenteb3f8a09ad53adc744ba7399f5bff875affa5126 (diff)
release 7.4; changement magic number
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/RH')
-rw-r--r--distrib/RH/coq.spec.tpl6
1 files changed, 3 insertions, 3 deletions
diff --git a/distrib/RH/coq.spec.tpl b/distrib/RH/coq.spec.tpl
index 6266e4f66..57c7af35d 100644
--- a/distrib/RH/coq.spec.tpl
+++ b/distrib/RH/coq.spec.tpl
@@ -1,12 +1,12 @@
Name: coq
-Version: 7.3
+Version: 7.4
Release: 1
Summary: The Coq Proof Assistant
Copyright: freely redistributable
Group: Applications/Math
Vendor: INRIA Rocquencourt
URL: http://coq.inria.fr
-Source: ftp://ftp.inria.fr/INRIA/coq/V7.3/coq-7.3.tar.gz
+Source: ftp://ftp.inria.fr/INRIA/coq/V7.4/coq-7.4.tar.gz
Icon: petit-coq.gif
%description
@@ -19,7 +19,7 @@ Coq is a proof assistant which:
# Ocaml is required but it is better to install it not with rpm but by
# hand in /usr/local
-# Requires: ocaml >= 3.01
+# Requires: ocaml >= 3.06
%prep