blob: 1884fbf991c791efede3851568a38cc9be7df308 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# $NetBSD: Makefile,v 1.4 2021/02/15 02:02:15 markd Exp $
DISTNAME= ebproof
PKGNAME= tex-${DISTNAME}-2.1.1
TEXLIVE_REV= 57544
MAINTAINER= pkgsrc-users@NetBSD.org
HOMEPAGE= https://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"
|
