From 49bec658fba0f0a6dbd56974f6389354d61d1320 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:01:35 +0200
Subject: [PATCH 1/4] New package: idris-1.3.2

---
 srcpkgs/idris/template | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 srcpkgs/idris/template

diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
new file mode 100644
index 00000000000..de82f1a2fa8
--- /dev/null
+++ b/srcpkgs/idris/template
@@ -0,0 +1,19 @@
+# Template file for 'idris'
+pkgname=idris
+version=1.3.2
+revision=1
+build_style=haskell-stack
+hostmakedepends="pkg-config ghc stack"
+makedepends="zlib-devel ncurses-devel"
+short_desc="Functional Programming Language with Dependent Types"
+maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
+license="BSD-3-Clause"
+homepage="https://www.idris-lang.org/"
+distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
+checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73
+nocross=yes
+nopie=yes
+
+post_install() {
+  vlicense LICENSE
+}

From 13ad12f64fae02750735d3c7ccedfb2e538a3b83 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:54:53 +0200
Subject: [PATCH 2/4] Say that license is custom

---
 srcpkgs/idris/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index de82f1a2fa8..d5c366d2c60 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
 makedepends="zlib-devel ncurses-devel"
 short_desc="Functional Programming Language with Dependent Types"
 maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="BSD-3-Clause"
+license="custom"
 homepage="https://www.idris-lang.org/"
 distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
 checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73

From 15d1aadd6059f0391d8220291490ac96acf0386e Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 16:55:16 +0200
Subject: [PATCH 3/4] Use tab instead of spaces

---
 srcpkgs/idris/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index d5c366d2c60..3c99deba41c 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -15,5 +15,5 @@ nocross=yes
 nopie=yes
 
 post_install() {
-  vlicense LICENSE
+	vlicense LICENSE
 }

From 15beca21c6eeefd0f9dfab89477df1489a4d7152 Mon Sep 17 00:00:00 2001
From: zhengqunkoo <root@zhengqunkoo.com>
Date: Tue, 17 Sep 2019 20:34:19 +0200
Subject: [PATCH 4/4] Revert "Say that license is custom"

This reverts commit 13ad12f64fae02750735d3c7ccedfb2e538a3b83.
---
 srcpkgs/idris/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/idris/template b/srcpkgs/idris/template
index 3c99deba41c..8223b42d7ea 100644
--- a/srcpkgs/idris/template
+++ b/srcpkgs/idris/template
@@ -7,7 +7,7 @@ hostmakedepends="pkg-config ghc stack"
 makedepends="zlib-devel ncurses-devel"
 short_desc="Functional Programming Language with Dependent Types"
 maintainer="Zhengqun Koo <root@zhengqunkoo.com>"
-license="custom"
+license="BSD-3-Clause"
 homepage="https://www.idris-lang.org/"
 distfiles="https://hackage.haskell.org/package/${pkgname}-${version}/${pkgname}-${version}.tar.gz"
 checksum=872db3aa7e1141580fbdcece90829edfab70373a1f3b74af68f079f0e687cc73