pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/hs-logict devel/hs-logict: import hs-logict-0.7.1.0
details: https://anonhg.NetBSD.org/pkgsrc/rev/c8212562089d
branches: trunk
changeset: 374065:c8212562089d
user: pho <pho%pkgsrc.org@localhost>
date: Wed Feb 16 09:46:06 2022 +0000
description:
devel/hs-logict: import hs-logict-0.7.1.0
Adapted from the paper "Backtracking, Interleaving, and Terminating Monad
Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr
Sabry.
diffstat:
devel/hs-logict/DESCR | 3 +++
devel/hs-logict/Makefile | 11 +++++++++++
devel/hs-logict/PLIST | 23 +++++++++++++++++++++++
devel/hs-logict/buildlink3.mk | 13 +++++++++++++
devel/hs-logict/distinfo | 5 +++++
5 files changed, 55 insertions(+), 0 deletions(-)
diffs (75 lines):
diff -r 7355a55abe3f -r c8212562089d devel/hs-logict/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-logict/DESCR Wed Feb 16 09:46:06 2022 +0000
@@ -0,0 +1,3 @@
+Adapted from the paper "Backtracking, Interleaving, and Terminating Monad
+Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr
+Sabry.
diff -r 7355a55abe3f -r c8212562089d devel/hs-logict/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-logict/Makefile Wed Feb 16 09:46:06 2022 +0000
@@ -0,0 +1,11 @@
+# $NetBSD: Makefile,v 1.1 2022/02/16 09:46:06 pho Exp $
+
+DISTNAME= logict-0.7.1.0
+CATEGORIES= devel
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+COMMENT= Backtracking logic-programming monad
+LICENSE= modified-bsd
+
+.include "../../mk/haskell.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r 7355a55abe3f -r c8212562089d devel/hs-logict/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-logict/PLIST Wed Feb 16 09:46:06 2022 +0000
@@ -0,0 +1,23 @@
+@comment $NetBSD: PLIST,v 1.1 2022/02/16 09:46:06 pho Exp $
+lib/logict-${PKGVERSION}/${HS_VERSION}/package-description
+lib/logict-${PKGVERSION}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic/Class.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic/Class.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Logic/Class.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/LICENSE
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/Control-Monad-Logic-Class.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/Control-Monad-Logic.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/doc-index.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/haddock-bundle.min.js
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/index.html
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/linuwial.css
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/logict.haddock
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/meta.json
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/quick-jump.css
+share/doc/${HS_PLATFORM}/logict-${PKGVERSION}/html/synopsis.png
diff -r 7355a55abe3f -r c8212562089d devel/hs-logict/buildlink3.mk
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-logict/buildlink3.mk Wed Feb 16 09:46:06 2022 +0000
@@ -0,0 +1,13 @@
+# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 09:46:06 pho Exp $
+
+BUILDLINK_TREE+= hs-logict
+
+.if !defined(HS_LOGICT_BUILDLINK3_MK)
+HS_LOGICT_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.hs-logict+= hs-logict>=0.7.1
+BUILDLINK_ABI_DEPENDS.hs-logict+= hs-logict>=0.7.1.0
+BUILDLINK_PKGSRCDIR.hs-logict?= ../../devel/hs-logict
+.endif # HS_LOGICT_BUILDLINK3_MK
+
+BUILDLINK_TREE+= -hs-logict
diff -r 7355a55abe3f -r c8212562089d devel/hs-logict/distinfo
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-logict/distinfo Wed Feb 16 09:46:06 2022 +0000
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2022/02/16 09:46:06 pho Exp $
+
+BLAKE2s (logict-0.7.1.0.tar.gz) = cc28249a16395f910f09433656350755e295887fc73c0bca70ff10ae34ee3fb2
+SHA512 (logict-0.7.1.0.tar.gz) = b6d37521ab1f9ec6c2fd5eea27f6d221680cc043a0fd6413c5ac37f1bfeb2d87a15fba92774d36b6a11cd685b2b78f6710441ca91dfd5aa376735d95425d6b53
+Size (logict-0.7.1.0.tar.gz) = 15146 bytes
Home |
Main Index |
Thread Index |
Old Index