From 02a60d692c07defd1a01ec2da6ca2c3d42195b06 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Fri, 19 Jun 2020 16:53:20 +0800
Subject: [PATCH] refresh to cabal-rpm-2.0.6

---
 Agda.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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