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

refresh to cabal-rpm-0.12.1

This commit is contained in:
Jens Petersen 2018-01-24 14:01:40 +01:00
parent c450966ea6
commit 377de8fb8c
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Agda.spec
View File

@ -1,4 +1,4 @@
# generated by cabal-rpm-0.12
# generated by cabal-rpm-0.12.1
# https://fedoraproject.org/wiki/Packaging:Haskell
%global pkg_name Agda
@ -203,6 +203,12 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
%post -n ghc-%{name} -p /sbin/ldconfig
%postun -n ghc-%{name} -p /sbin/ldconfig
%post -n ghc-%{name}-devel
%ghc_pkg_recache