diff --git a/Agda.spec b/Agda.spec index 0aa70fe..c0a4e8f 100644 --- a/Agda.spec +++ b/Agda.spec @@ -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