blob: 75f8086c0790228bab006b8ffc3f3e2a1898ec09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# $NetBSD: Makefile,v 1.1 2015/05/29 11:37:24 jaapb 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
.include "../../print/texlive/package.mk"
.include "../../mk/bsd.pkg.mk"
|
