diff options
| -rw-r--r-- | distrib/RH/coq.spec | 6 | ||||
| -rw-r--r-- | distrib/RH/coq_ext_for_pcoq.spec | 5 | ||||
| -rw-r--r-- | distrib/RH/coqide.spec | 5 |
3 files changed, 6 insertions, 10 deletions
diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec index a7c0d2b6c9..30a1e577dd 100644 --- a/distrib/RH/coq.spec +++ b/distrib/RH/coq.spec @@ -1,6 +1,6 @@ Name: coq Version: 8.0 -Release: 1 +Release: 2 Summary: The Coq Proof Assistant Copyright: freely redistributable Group: Applications/Math @@ -44,11 +44,9 @@ make -e COQINSTALLPREFIX=%{buildroot} install-coq %define __spec_install_post /usr/lib/rpm/brp-compress %files +%defattr(-,root,root) %{_bindir}/* %{_libdir}/coq %{_mandir}/man1/* %{_datadir}/emacs/site-lisp/* %{_datadir}/texmf/tex/latex/misc/* - -%defattr(-,root,root) - diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec index 0dfe10d32c..954be7239d 100644 --- a/distrib/RH/coq_ext_for_pcoq.spec +++ b/distrib/RH/coq_ext_for_pcoq.spec @@ -1,6 +1,6 @@ Name: coq_ext_for_pcoq Version: 8.0 -Release: 1 +Release: 2 Summary: The Coq Extension for Pcoq Copyright: freely redistributable Group: Applications/Math @@ -38,9 +38,8 @@ make -e COQINSTALLPREFIX=%{buildroot} install-pcoq %define __spec_install_post /usr/lib/rpm/brp-compress %files +%defattr(-,root,root) %{_bindir}/* %{_libdir}/coq/contrib/interface %{_mandir}/man1/* -%defattr(-,root,root) - diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec index b88f099fab..c1c5cecab0 100644 --- a/distrib/RH/coqide.spec +++ b/distrib/RH/coqide.spec @@ -1,6 +1,6 @@ Name: coqide Version: 8.0 -Release: 1 +Release: 2 Summary: The Coq Integrated Development Interface Copyright: freely redistributable Group: Applications/Math @@ -37,7 +37,6 @@ make -e COQINSTALLPREFIX=%{buildroot} install-coqide %define __spec_install_post /usr/lib/rpm/brp-compress %files +%defattr(-,root,root) %{_bindir}/* %{_libdir}/coq/ide - -%defattr(-,root,root) |