diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/RH/coq.spec | 5 |
1 files changed, 2 insertions, 3 deletions
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) |