From 42213812a53d9ccc082001a56711208bc9f48996 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Jul 19 2018 04:33:15 +0000
Subject: newline for easier patching


---

diff --git a/Agda.spec b/Agda.spec
index 3cfdc33..8385b46 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -1,12 +1,12 @@
-# generated by cabal-rpm-0.12.1
+# generated by cabal-rpm-0.12.4
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
 %global pkg_name Agda
 %global pkgver %{pkg_name}-%{version}
 
 %global EdisonAPI EdisonAPI-1.3.1
-%global EdisonCore EdisonCore-1.3.1.1
-%global geniplatemirror geniplate-mirror-0.7.5
+%global EdisonCore EdisonCore-1.3.2.1
+%global geniplatemirror geniplate-mirror-0.7.6
 %global monadplus monadplus-1.4.2
 %global murmurhash murmur-hash-0.1.0.9
 %global uriencode uri-encode-1.5.0.5
@@ -15,19 +15,20 @@
 Name:           %{pkg_name}
 Version:        2.5.3
 # can only be reset when all subpkgs bumped
-Release:        13%{?dist}
+Release:        14%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
 Url:            https://hackage.haskell.org/package/%{name}
 Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
-Source1:        https://hackage.haskell.org/package/%{EdisonCore}/%{EdisonCore}.tar.gz
-Source2:        https://hackage.haskell.org/package/%{geniplatemirror}/%{geniplatemirror}.tar.gz
-Source3:        https://hackage.haskell.org/package/%{monadplus}/%{monadplus}.tar.gz
-Source4:        https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.tar.gz
-Source5:        https://hackage.haskell.org/package/%{EdisonAPI}/%{EdisonAPI}.tar.gz
+Source1:        https://hackage.haskell.org/package/%{EdisonAPI}/%{EdisonAPI}.tar.gz
+Source2:        https://hackage.haskell.org/package/%{EdisonCore}/%{EdisonCore}.tar.gz
+Source3:        https://hackage.haskell.org/package/%{geniplatemirror}/%{geniplatemirror}.tar.gz
+Source4:        https://hackage.haskell.org/package/%{monadplus}/%{monadplus}.tar.gz
+Source5:        https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.tar.gz
 Source6:        https://hackage.haskell.org/package/%{uriencode}/%{uriencode}.tar.gz
-Source10:        agda-mode-init.el
+Source7:        https://hackage.haskell.org/package/%{pkgver}/%{name}.cabal#/%{pkgver}.cabal
+Source10:       agda-mode-init.el
 
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros-extra
@@ -140,6 +141,7 @@ This package provides the Haskell %{name} library development files.
 
 %prep
 %setup -q -a1 -a2 -a3 -a4 -a5 -a6
+cp -p %{SOURCE7} %{name}.cabal
 
 # tweak the Agda version in the emacs mode
 if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
@@ -227,6 +229,10 @@ mv %{buildroot}%{_ghclicensedir}/{,ghc-}%{name}
 
 
 %changelog
+* Thu Jul 19 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-14
+- update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6
+- revise .cabal file
+
 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-13
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild