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] 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
+}