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

use %license

Browse Source
This commit is contained in:
Jens Petersen 2016-09-28 18:22:39 +09:00
parent 8b9cf04092
commit 12a5988583
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Agda.spec
View File

@ -170,7 +170,7 @@ rm -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/emacs-mode
%files -n ghc-%{name} -f ghc-%{name}.files
%doc LICENSE
%license LICENSE
%{_bindir}/agda
%{_datadir}/%{name}-%{version}
%ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai