From 36e744de861caa99a18c9192ff30bbb5f718ac6e Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 4 Jun 2020 19:24:44 +0800
Subject: [PATCH] refresh to cabal-rpm-2.0.5

---
 Agda.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Agda.spec b/Agda.spec
index a53904e..f01f728 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -1,5 +1,5 @@
-# generated by cabal-rpm-2.0.2 --subpackage
-# https://fedoraproject.org/wiki/Packaging:Haskell
+# generated by cabal-rpm-2.0.5 --subpackage
+# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
 
 # https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
 %ifarch %{ix86}