diff --git a/annotated-wl-pprint-0.7.0.cabal b/annotated-wl-pprint-0.7.0.cabal
new file mode 100644
index 0000000..46a42a5
--- /dev/null
+++ b/annotated-wl-pprint-0.7.0.cabal
@@ -0,0 +1,26 @@
+Name:                annotated-wl-pprint
+Version:             0.7.0
+x-revision: 1
+Cabal-Version:       >= 1.6
+Synopsis:            The Wadler/Leijen Pretty Printer, with annotation support
+Category:            Text
+Description:
+ This is a modified version of wl-pprint, which was based on Wadler's
+ paper "A Prettier  Printer".  See the haddocks for full info.  This
+ version allows the library user to annotate the text with semantic
+ information, which can later be rendered in a variety of ways.
+License:             BSD3
+License-file:        LICENSE
+Author:              Daan Leijen, David Raymond Christiansen
+Maintainer:          david@davidchristiansen.dk
+Homepage:            https://github.com/david-christiansen/annotated-wl-pprint
+Build-Type:          Simple
+Library
+        Build-Depends:       base >= 4.4 && < 5
+        Exposed-Modules:     Text.PrettyPrint.Annotated.Leijen
+        Extensions:          DeriveFunctor
+        Ghc-options:         -fwarn-incomplete-patterns
+Source-Repository head
+        type:        git
+        location:    https://github.com/david-christiansen/annotated-wl-pprint
+
diff --git a/ghc-annotated-wl-pprint.spec b/ghc-annotated-wl-pprint.spec
index b34a88a..8a8457b 100644
--- a/ghc-annotated-wl-pprint.spec
+++ b/ghc-annotated-wl-pprint.spec
@@ -1,4 +1,4 @@
-# generated by cabal-rpm-0.12.1
+# generated by cabal-rpm-0.13
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 %global pkg_name annotated-wl-pprint
@@ -6,15 +6,20 @@
 
 Name:           ghc-%{pkg_name}
 Version:        0.7.0
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        The Wadler/Leijen Pretty Printer, with annotation support
 
 License:        BSD
 Url:            https://hackage.haskell.org/package/%{pkg_name}
+# Begin cabal-rpm sources:
 Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
+Source1:        https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal
+# End cabal-rpm sources
 
+# Begin cabal-rpm deps:
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
+# End cabal-rpm deps
 
 %description
 This is a modified version of wl-pprint, which was based on Wadler's paper "A
@@ -40,15 +45,22 @@ files.
 
 
 %prep
+# Begin cabal-rpm setup:
 %setup -q -n %{pkgver}
+cp -bp %{SOURCE1} %{pkg_name}.cabal
+# End cabal-rpm setup
 
 
 %build
+# Begin cabal-rpm build:
 %ghc_lib_build
+# End cabal-rpm build
 
 
 %install
+# Begin cabal-rpm install
 %ghc_lib_install
+# End cabal-rpm install
 
 
 %post devel
@@ -60,13 +72,18 @@ files.
 
 
 %files -f %{name}.files
+# Begin cabal-rpm files:
 %license LICENSE
+# End cabal-rpm files
 
 
 %files devel -f %{name}-devel.files
 
 
 %changelog
+* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 0.7.0-6
+- refresh to cabal-rpm-0.13
+
 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.7.0-5
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild