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

refresh to cabal-rpm-2.0.6

This commit is contained in:
Jens Petersen 2020-06-19 16:53:20 +08:00
parent a122f588a5
commit 02a60d692c
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

@ -1,4 +1,4 @@
# generated by cabal-rpm-2.0.5 --subpackage
# generated by cabal-rpm-2.0.6 --subpackage
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
# https://gitlab.haskell.org/ghc/ghc/issues/17030 panic