13 lines
334 B
Makefile
13 lines
334 B
Makefile
# $NetBSD: Makefile,v 1.2 2019/12/06 20:19:03 markd Exp $
|
|
|
|
DISTNAME= bussproofs
|
|
PKGNAME= tex-${DISTNAME}-1.1
|
|
TEXLIVE_REV= 27488
|
|
|
|
MAINTAINER= jaapb@NetBSD.org
|
|
COMMENT= Proof trees in the style of the sequent calculus
|
|
LICENSE= lppl-1.3c
|
|
|
|
TEXLIVE_UNVERSIONED= yes
|
|
.include "../../print/texlive/package.mk"
|
|
.include "../../mk/bsd.pkg.mk"
|