# $NetBSD: Makefile,v 1.9 2025/03/05 03:39:08 pho Exp $

DISTNAME=	dec-0.0.6
PKGREVISION=	2
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"
