From 6ceb8aa2fd0242962254d8749f4c6af34421dfcf Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 6 Oct 2016 12:19:22 +0900
Subject: [PATCH] allow cpphs-1.20

---
 Agda-cpphs-version.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Agda-cpphs-version.patch

diff --git a/Agda-cpphs-version.patch b/Agda-cpphs-version.patch
new file mode 100644
index 0000000..dbc61d7
--- /dev/null
+++ b/Agda-cpphs-version.patch
@@ -0,0 +1,11 @@
+--- Agda-2.4.2.5/Agda.cabal~	2015-12-19 06:29:26.000000000 +0900
++++ Agda-2.4.2.5/Agda.cabal	2016-10-06 11:12:49.315141342 +0900
+@@ -67,7 +67,7 @@
+   include-dirs:     src/full
+ 
+   if flag(cpphs)
+-    build-tools: cpphs >= 1.19 && < 1.20
++    build-tools: cpphs >= 1.19 && < 1.21
+     ghc-options: -pgmP cpphs -optP --cpp
+ 
+   if os(windows)