From 377de8fb8cca08a9076446d8121ae67a6c6486f3 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Wed, 24 Jan 2018 14:01:40 +0100
Subject: [PATCH] refresh to cabal-rpm-0.12.1

---
 Agda.spec | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Agda.spec b/Agda.spec
index fbe124c..286d6f5 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -1,4 +1,4 @@
-# generated by cabal-rpm-0.12
+# generated by cabal-rpm-0.12.1
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 %global pkg_name Agda
@@ -203,6 +203,12 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
 
 
+%post -n ghc-%{name} -p /sbin/ldconfig
+
+
+%postun -n ghc-%{name} -p /sbin/ldconfig
+
+
 %post -n ghc-%{name}-devel
 %ghc_pkg_recache