CVS commit: pkgsrc/devel/hs-dec

["Masatake Daimon" <pho%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   pho
Date:           Sun Jan 29 04:43:43 UTC 2023

Added Files:
        pkgsrc/devel/hs-dec: DESCR Makefile PLIST buildlink3.mk distinfo

Log Message:
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)


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/hs-dec/DESCR pkgsrc/devel/hs-dec/Makefile \
    pkgsrc/devel/hs-dec/PLIST pkgsrc/devel/hs-dec/buildlink3.mk \
    pkgsrc/devel/hs-dec/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/devel/hs-dec/DESCR
diff -u /dev/null pkgsrc/devel/hs-dec/DESCR:1.1
--- /dev/null   Sun Jan 29 04:43:43 2023
+++ pkgsrc/devel/hs-dec/DESCR   Sun Jan 29 04:43:43 2023
@@ -0,0 +1,7 @@
+This package provides a Dec type.
+
+  type Neg a = a -> Void
+
+  data Dec a
+      = Yes a
+      | No (Neg a)
Index: pkgsrc/devel/hs-dec/Makefile
diff -u /dev/null pkgsrc/devel/hs-dec/Makefile:1.1
--- /dev/null   Sun Jan 29 04:43:43 2023
+++ pkgsrc/devel/hs-dec/Makefile        Sun Jan 29 04:43:43 2023
@@ -0,0 +1,13 @@
+# $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@localhost
+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"
Index: pkgsrc/devel/hs-dec/PLIST
diff -u /dev/null pkgsrc/devel/hs-dec/PLIST:1.1
--- /dev/null   Sun Jan 29 04:43:43 2023
+++ pkgsrc/devel/hs-dec/PLIST   Sun Jan 29 04:43:43 2023
@@ -0,0 +1,19 @@
+@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
Index: pkgsrc/devel/hs-dec/buildlink3.mk
diff -u /dev/null pkgsrc/devel/hs-dec/buildlink3.mk:1.1
--- /dev/null   Sun Jan 29 04:43:43 2023
+++ pkgsrc/devel/hs-dec/buildlink3.mk   Sun Jan 29 04:43:43 2023
@@ -0,0 +1,16 @@
+# $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
Index: pkgsrc/devel/hs-dec/distinfo
diff -u /dev/null pkgsrc/devel/hs-dec/distinfo:1.1
--- /dev/null   Sun Jan 29 04:43:43 2023
+++ pkgsrc/devel/hs-dec/distinfo        Sun Jan 29 04:43:43 2023
@@ -0,0 +1,5 @@
+$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