diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | distrib/RH/coq.spec | 5 |
2 files changed, 3 insertions, 4 deletions
@@ -6,7 +6,7 @@ # ################################## -VERSION=8.0-cdrom +VERSION=8.0cdrom VERSIONSI=1.0 DATE="Mar 2004" diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec index d52a3027c7..69db2eae63 100644 --- a/distrib/RH/coq.spec +++ b/distrib/RH/coq.spec @@ -1,7 +1,5 @@ -# This file has been generated from RH/coq.spec.tpl -# Do not edit Name: coq -Version: 8.0 +Version: 8.0cdrom Release: 1 Summary: The Coq Proof Assistant Copyright: freely redistributable @@ -54,6 +52,7 @@ if [ -L /usr/local/lib/ocaml ]; then rm /usr/local/lib/ocaml fi +# the spec file is moved to distrib/RH/src/coqX.Y but coq.list is in distrib/RH %files -f ../../coq.list %defattr(-,root,root) |