# $NetBSD: Makefile,v 1.1 2018/05/22 21:08:47 markd Exp $

DISTNAME=	ebproof
PKGNAME=	tex-${DISTNAME}-2.0
TEXLIVE_REV=	44392

MAINTAINER=	pkgsrc-users@NetBSD.org
HOMEPAGE=	http://ctan.org/pkg/ebproof
COMMENT=	Formal proofs in the style of sequent calculus
LICENSE=	lppl-1.3c

DEPENDS+=	tex-l3kernel-[0-9]*:../../devel/tex-l3kernel

.include "../../print/texlive/package.mk"
.include "../../mk/bsd.pkg.mk"
