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

cabal-rpm-2.0.9

This commit is contained in:
Jens Petersen 2021-06-11 18:18:44 +08:00
parent 99d2241eeb
commit 3e99f24800
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Agda.spec
View File

@ -1,4 +1,4 @@
# generated by cabal-rpm-2.0.8 --subpackage
# generated by cabal-rpm-2.0.9 --subpackage
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
# https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
@ -126,6 +126,7 @@ This package provides the Haskell %{name} library development files.
%package -n ghc-%{name}-doc
Summary: Haskell %{name} library documentation
BuildArch: noarch
Requires: ghc-filesystem
%description -n ghc-%{name}-doc
This package provides the Haskell %{name} library documentation.