rpms/Agda
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

no longer remove license

Browse Source
This commit is contained in:
Jens Petersen 2016-09-27 18:32:07 +09:00
parent 2219348db1
commit 8b9cf04092
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Agda.spec
View File

@ -148,8 +148,6 @@ rm %{buildroot}%{_bindir}/agda-mode
rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/EpicInclude
rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%post -n ghc-%{name}
%{_bindir}/agda %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agda || :