From 80ca5856395ee999e09dffbe4e52548ef4be329d Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Sun, 17 Feb 2019 22:44:24 +0800
Subject: [PATCH] refresh to cabal-rpm-0.13

---
 djinn-lib-0.0.1.3.cabal | 30 ++++++++++++++++++++++++++++++
 ghc-djinn-lib.spec      | 21 ++++++++++++++++++---
 2 files changed, 48 insertions(+), 3 deletions(-)
 create mode 100644 djinn-lib-0.0.1.3.cabal

diff --git a/djinn-lib-0.0.1.3.cabal b/djinn-lib-0.0.1.3.cabal
new file mode 100644
index 0000000..d9ab6cf
--- /dev/null
+++ b/djinn-lib-0.0.1.3.cabal
@@ -0,0 +1,30 @@
+name:           djinn-lib
+version:        0.0.1.3
+x-revision: 1
+cabal-version:  >= 1.6
+license:        BSD3
+license-file:	LICENSE
+author:	        Lennart Augustsson
+maintainer:     trupill@gmail.com
+synopsis:       Generate Haskell code from a type. Library extracted from djinn package.
+description:    Djinn uses an theorem prover for intuitionistic propositional logic
+                to generate a Haskell expression when given a type.
+                This is a library extracted from Djinn sources.
+category:       Language
+homepage:       http://www.augustsson.net/Darcs/Djinn/
+build-type:     Simple
+
+library
+  hs-source-dirs:  src
+  build-depends:   base >= 4.6 && < 5,
+                   mtl,
+                   containers,
+                   pretty
+  exposed-modules: Djinn.HCheck,
+                   Djinn.HTypes,
+                   Djinn.LJT,
+                   Djinn.LJTFormula
+
+source-repository head
+  type:     git
+  location: https://github.com/serras/djinn-lib
diff --git a/ghc-djinn-lib.spec b/ghc-djinn-lib.spec
index 6cb1dce..6f19fee 100644
--- a/ghc-djinn-lib.spec
+++ b/ghc-djinn-lib.spec
@@ -1,4 +1,4 @@
-# generated by cabal-rpm-0.12.5
+# generated by cabal-rpm-0.13
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 %global pkg_name djinn-lib
@@ -6,16 +6,19 @@
 
 Name:           ghc-%{pkg_name}
 Version:        0.0.1.3
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Generate Haskell code from a type
 
 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
-# Begin cabal-rpm deps:
 BuildRequires:  ghc-containers-devel
 BuildRequires:  ghc-mtl-devel
 BuildRequires:  ghc-pretty-devel
@@ -43,15 +46,22 @@ This package provides the Haskell %{pkg_name} library development 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
@@ -63,13 +73,18 @@ This package provides the Haskell %{pkg_name} library development 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.0.1.3-5
+- refresh to cabal-rpm-0.13
+
 * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.0.1.3-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild