Sun Jan 29 04:43:43 2023 UTC ()
devel/hs-dec: import hs-dec-0.0.5

This package provides a Dec type.

  type Neg a = a -> Void

  data Dec a
      = Yes a
      | No (Neg a)


(pho)
diff -r0 -r1.1 pkgsrc/devel/hs-dec/DESCR
diff -r0 -r1.1 pkgsrc/devel/hs-dec/Makefile
diff -r0 -r1.1 pkgsrc/devel/hs-dec/PLIST
diff -r0 -r1.1 pkgsrc/devel/hs-dec/buildlink3.mk
diff -r0 -r1.1 pkgsrc/devel/hs-dec/distinfo
File Added: pkgsrc/devel/hs-dec/DESCR
This package provides a Dec type.

  type Neg a = a -> Void

  data Dec a
      = Yes a
      | No (Neg a)
File Added: pkgsrc/devel/hs-dec/Makefile
# $NetBSD: Makefile,v 1.1 2023/01/29 04:43:43 pho Exp $

DISTNAME=	dec-0.0.5
CATEGORIES=	devel

MAINTAINER=	pkgsrc-users@NetBSD.org
COMMENT=	Decidable propositions
LICENSE=	modified-bsd

.include "../../devel/hs-boring/buildlink3.mk"
.include "../../devel/hs-void/buildlink3.mk"
.include "../../mk/haskell.mk"
.include "../../mk/bsd.pkg.mk"
File Added: pkgsrc/devel/hs-dec/PLIST
@comment $NetBSD: PLIST,v 1.1 2023/01/29 04:43:43 pho Exp $
lib/dec-${PKGVERSION}/${HS_VERSION}/package-description
lib/dec-${PKGVERSION}/${HS_VERSION}/package-id
${PLIST.shlibs}lib/${HS_PLATFORM}/${HS_PKGID}/Data/Type/Dec.dyn_hi
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Type/Dec.hi
${PLIST.prof}lib/${HS_PLATFORM}/${HS_PKGID}/Data/Type/Dec.p_hi
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
${PLIST.prof}lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
${PLIST.shlibs}lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/LICENSE
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/Data-Type-Dec.html
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/dec.haddock
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/doc-index.html
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/haddock-bundle.min.js
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/index.html
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/linuwial.css
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/meta.json
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/quick-jump.css
${PLIST.doc}share/doc/${HS_PLATFORM}/dec-${PKGVERSION}/html/synopsis.png
File Added: pkgsrc/devel/hs-dec/buildlink3.mk
# $NetBSD: buildlink3.mk,v 1.1 2023/01/29 04:43:43 pho Exp $

BUILDLINK_TREE+=	hs-dec

.if !defined(HS_DEC_BUILDLINK3_MK)
HS_DEC_BUILDLINK3_MK:=

BUILDLINK_API_DEPENDS.hs-dec+=	hs-dec>=0.0.5
BUILDLINK_ABI_DEPENDS.hs-dec+=	hs-dec>=0.0.5
BUILDLINK_PKGSRCDIR.hs-dec?=	../../devel/hs-dec

.include "../../devel/hs-boring/buildlink3.mk"
.include "../../devel/hs-void/buildlink3.mk"
.endif	# HS_DEC_BUILDLINK3_MK

BUILDLINK_TREE+=	-hs-dec
File Added: pkgsrc/devel/hs-dec/distinfo
$NetBSD: distinfo,v 1.1 2023/01/29 04:43:43 pho Exp $

BLAKE2s (dec-0.0.5.tar.gz) = 36d7e1eca4e418dde94515217be1238db2445917f79d501d21dc3695ffd03db0
SHA512 (dec-0.0.5.tar.gz) = 895085bb95bd8cec482f771d37f75221c12b50326bfeadeb6466d365c69756fef2faffcb557e0fee3861ec5318d8d27ad140ef6296217a80dda9a121f1be931a
Size (dec-0.0.5.tar.gz) = 3224 bytes