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