diff options
author | pho <pho@pkgsrc.org> | 2021-05-03 19:00:52 +0000 |
---|---|---|
committer | pho <pho@pkgsrc.org> | 2021-05-03 19:00:52 +0000 |
commit | 5992c20f6f8403cd2962b69d1794610fde1a7ae8 (patch) | |
tree | 9451f4a510a7bad6e757931718ac2e444bdcb15c /lang/idris | |
parent | 6139bcfecbfa8853f13d3f4ee325ce1ae43a9b1d (diff) | |
download | pkgsrc-5992c20f6f8403cd2962b69d1794610fde1a7ae8.tar.gz |
*: Bump PKGREVISION for ghc-9.0.1
Diffstat (limited to 'lang/idris')
-rw-r--r-- | lang/idris/Makefile | 3 | ||||
-rw-r--r-- | lang/idris/buildlink3.mk | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/lang/idris/Makefile b/lang/idris/Makefile index 19a44b1d44c..e53df7d0a00 100644 --- a/lang/idris/Makefile +++ b/lang/idris/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.4 2021/04/25 11:39:03 pho Exp $ +# $NetBSD: Makefile,v 1.5 2021/05/03 19:01:07 pho Exp $ DISTNAME= idris-1.3.3 PKGNAME= ${DISTNAME} +PKGREVISION= 1 CATEGORIES= lang MAINTAINER= pho@cielonegro.org diff --git a/lang/idris/buildlink3.mk b/lang/idris/buildlink3.mk index ae9a6b712d5..e6ab2d288d6 100644 --- a/lang/idris/buildlink3.mk +++ b/lang/idris/buildlink3.mk @@ -1,4 +1,4 @@ -# $NetBSD: buildlink3.mk,v 1.1 2020/01/20 23:32:38 pho Exp $ +# $NetBSD: buildlink3.mk,v 1.2 2021/05/03 19:01:07 pho Exp $ BUILDLINK_TREE+= idris @@ -6,7 +6,7 @@ BUILDLINK_TREE+= idris IDRIS_BUILDLINK3_MK:= BUILDLINK_API_DEPENDS.idris+= idris>=1.3.2 -BUILDLINK_ABI_DEPENDS.idris+= idris>=1.3.2 +BUILDLINK_ABI_DEPENDS.idris+= idris>=1.3.3nb1 BUILDLINK_PKGSRCDIR.idris?= ../../lang/idris .include "../../converters/hs-aeson/buildlink3.mk" |