From: voidlinux-github@inbox.vuxu.org
To: ml@inbox.vuxu.org
Subject: [PR PATCH] New package: idris-1.3.2
Date: Tue, 17 Sep 2019 16:11:57 +0200 [thread overview]
Message-ID: <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-14522@inbox.vuxu.org> (raw)
[-- Attachment #1: Type: text/plain, Size: 426 bytes --]
There is a new pull request by zhengqunkoo against master on the void-packages repository
https://github.com/zhengqunkoo/void-packages idris
https://github.com/void-linux/void-packages/pull/14522
New package: idris-1.3.2
Regarding quality requirements: [Idris2](https://github.com/edwinb/Idris2), when packaged, will require Idris.
A patch file from https://github.com/void-linux/void-packages/pull/14522.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-idris-14522.patch --]
[-- Type: text/x-diff, Size: 1098 bytes --]
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
+}
next reply other threads:[~2019-09-17 14:11 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-09-17 14:11 voidlinux-github [this message]
2019-09-17 14:55 ` [PR PATCH] [Updated] " voidlinux-github
2019-09-17 14:55 ` voidlinux-github
2019-09-17 18:34 ` voidlinux-github
2019-09-17 18:34 ` voidlinux-github
2019-09-18 4:40 ` voidlinux-github
2021-11-06 21:33 ` abenson
2021-11-06 21:33 ` [PR PATCH] [Closed]: " abenson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-14522@inbox.vuxu.org \
--to=voidlinux-github@inbox.vuxu.org \
--cc=ml@inbox.vuxu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).