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