# $NetBSD: Makefile,v 1.2 2023/02/07 01:40:32 pho Exp $

DISTNAME=	dec-0.0.5
PKGREVISION=	1
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"
