diff --git a/Agda.spec b/Agda.spec
index f2db40d..049319b 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -1,4 +1,4 @@
-# generated by cabal-rpm-0.13
+# generated by cabal-rpm-1.0.0 --subpackage
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 %global pkg_name Agda
@@ -31,6 +31,12 @@ Source10:       agda-mode-init.el
 
 # Begin cabal-rpm deps:
 BuildRequires:  ghc-Cabal-devel
+%if %{with haddock}
+BuildRequires:  ghc-doc
+%endif
+%if %{with ghc_prof}
+BuildRequires:  ghc-prof
+%endif
 BuildRequires:  ghc-rpm-macros-extra
 BuildRequires:  alex
 BuildRequires:  chrpath
@@ -119,11 +125,8 @@ This package provides the Haskell %{name} shared library.
 %package -n ghc-%{name}-devel
 Summary:        Haskell %{name} library development files
 Provides:       ghc-%{name}-static = %{version}-%{release}
-Provides:       ghc-%{name}-doc = %{version}-%{release}
 %if %{defined ghc_version}
 Requires:       ghc-compiler = %{ghc_version}
-Requires(post): ghc-compiler = %{ghc_version}
-Requires(postun): ghc-compiler = %{ghc_version}
 %endif
 Requires:       ghc-%{name}%{?_isa} = %{version}-%{release}
 Obsoletes:      Agda < 2.3.1
@@ -132,6 +135,25 @@ Obsoletes:      Agda < 2.3.1
 This package provides the Haskell %{name} library development files.
 
 
+%if %{with haddock}
+%package -n ghc-%{name}-doc
+Summary:        Haskell %{name} library documentation
+
+%description -n ghc-%{name}-doc
+This package provides the Haskell %{name} library documentation.
+%endif
+
+
+%if %{with ghc_prof}
+%package -n ghc-%{name}-prof
+Summary:        Haskell %{name} profiling library
+Requires:       ghc-%{name}-devel%{?_isa} = %{version}-%{release}
+
+%description -n ghc-%{name}-prof
+This package provides the Haskell %{name} profiling library.
+%endif
+
+
 %global main_version %{version}
 
 %if %{defined ghclibdir}
@@ -211,14 +233,6 @@ rm %{buildroot}%{_bindir}/agda-mode
 rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
-%post -n ghc-%{name}-devel
-%ghc_pkg_recache
-
-
-%postun -n ghc-%{name}-devel
-%ghc_pkg_recache
-
-
 %files
 # Begin cabal-rpm files:
 %dir %{_emacs_sitelispdir}/agda
@@ -236,14 +250,22 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %files -n ghc-%{name} -f ghc-%{name}.files
-# Begin cabal-rpm files:
-# End cabal-rpm files
 %{_bindir}/agda
 
 
 %files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
 
 
+%if %{with haddock}
+%files -n ghc-%{name}-doc -f ghc-%{name}-doc.files
+%endif
+
+
+%if %{with ghc_prof}
+%files -n ghc-%{name}-prof -f ghc-%{name}-prof.files
+%endif
+
+
 %changelog
 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild