* [PR PATCH] stack: add gmp-devel dependency
@ 2019-06-09 13:04 voidlinux-github
2019-06-09 13:06 ` [PR PATCH] [Merged]: " voidlinux-github
0 siblings, 1 reply; 2+ messages in thread
From: voidlinux-github @ 2019-06-09 13:04 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 341 bytes --]
There is a new pull request by youngjinpark20 against master on the void-packages repository
https://github.com/youngjinpark20/void-packages stack
https://github.com/void-linux/void-packages/pull/12334
stack: add gmp-devel dependency
closes #11481
A patch file from https://github.com/void-linux/void-packages/pull/12334.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-stack-12334.patch --]
[-- Type: application/text/x-diff, Size: 871 bytes --]
From 166da47b22f1bbeb009851e48f2e972d5e615789 Mon Sep 17 00:00:00 2001
From: Young Jin Park <youngjinpark20@gmail.com>
Date: Sun, 9 Jun 2019 22:02:25 +0900
Subject: [PATCH] stack: add gmp-devel dependency
closes #11481
---
srcpkgs/stack/template | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/srcpkgs/stack/template b/srcpkgs/stack/template
index 058863c4984..bcafd9041b2 100644
--- a/srcpkgs/stack/template
+++ b/srcpkgs/stack/template
@@ -1,11 +1,11 @@
# Template file for 'stack'
pkgname=stack
version=1.9.3
-revision=1
+revision=2
_stackage="lts-13.2"
hostmakedepends="cabal-install pkg-config unzip"
makedepends="zlib-devel pcre-devel"
-depends="git iana-etc"
+depends="git gmp-devel iana-etc"
short_desc="Cross-platform program for developing Haskell projects"
maintainer="Leah Neukirchen <leah@vuxu.org>"
license="3-clause-BSD"
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-06-09 13:06 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-06-09 13:04 [PR PATCH] stack: add gmp-devel dependency voidlinux-github
2019-06-09 13:06 ` [PR PATCH] [Merged]: " voidlinux-github
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).