head	1.4;
access;
symbols
	pkgsrc-2026Q1:1.4.0.36
	pkgsrc-2026Q1-base:1.4
	pkgsrc-2025Q4:1.4.0.34
	pkgsrc-2025Q4-base:1.4
	pkgsrc-2025Q3:1.4.0.32
	pkgsrc-2025Q3-base:1.4
	pkgsrc-2025Q2:1.4.0.30
	pkgsrc-2025Q2-base:1.4
	pkgsrc-2025Q1:1.4.0.28
	pkgsrc-2025Q1-base:1.4
	pkgsrc-2024Q4:1.4.0.26
	pkgsrc-2024Q4-base:1.4
	pkgsrc-2024Q3:1.4.0.24
	pkgsrc-2024Q3-base:1.4
	pkgsrc-2024Q2:1.4.0.22
	pkgsrc-2024Q2-base:1.4
	pkgsrc-2024Q1:1.4.0.20
	pkgsrc-2024Q1-base:1.4
	pkgsrc-2023Q4:1.4.0.18
	pkgsrc-2023Q4-base:1.4
	pkgsrc-2023Q3:1.4.0.16
	pkgsrc-2023Q3-base:1.4
	pkgsrc-2023Q2:1.4.0.14
	pkgsrc-2023Q2-base:1.4
	pkgsrc-2023Q1:1.4.0.12
	pkgsrc-2023Q1-base:1.4
	pkgsrc-2022Q4:1.4.0.10
	pkgsrc-2022Q4-base:1.4
	pkgsrc-2022Q3:1.4.0.8
	pkgsrc-2022Q3-base:1.4
	pkgsrc-2022Q2:1.4.0.6
	pkgsrc-2022Q2-base:1.4
	pkgsrc-2022Q1:1.4.0.4
	pkgsrc-2022Q1-base:1.4
	pkgsrc-2021Q4:1.4.0.2
	pkgsrc-2021Q4-base:1.4
	pkgsrc-2021Q3:1.2.0.6
	pkgsrc-2021Q3-base:1.2
	pkgsrc-2021Q2:1.2.0.4
	pkgsrc-2021Q2-base:1.2
	pkgsrc-2021Q1:1.2.0.2
	pkgsrc-2021Q1-base:1.2
	pkgsrc-2020Q4:1.1.0.22
	pkgsrc-2020Q4-base:1.1
	pkgsrc-2020Q3:1.1.0.20
	pkgsrc-2020Q3-base:1.1
	pkgsrc-2020Q2:1.1.0.18
	pkgsrc-2020Q2-base:1.1
	pkgsrc-2020Q1:1.1.0.14
	pkgsrc-2020Q1-base:1.1
	pkgsrc-2019Q4:1.1.0.16
	pkgsrc-2019Q4-base:1.1
	pkgsrc-2019Q3:1.1.0.12
	pkgsrc-2019Q3-base:1.1
	pkgsrc-2019Q2:1.1.0.10
	pkgsrc-2019Q2-base:1.1
	pkgsrc-2019Q1:1.1.0.8
	pkgsrc-2019Q1-base:1.1
	pkgsrc-2018Q4:1.1.0.6
	pkgsrc-2018Q4-base:1.1
	pkgsrc-2018Q3:1.1.0.4
	pkgsrc-2018Q3-base:1.1
	pkgsrc-2018Q2:1.1.0.2
	pkgsrc-2018Q2-base:1.1;
locks; strict;
comment	@# @;


1.4
date	2021.10.26.11.13.09;	author nia;	state Exp;
branches;
next	1.3;
commitid	Esjy1gYL4joMmjeD;

1.3
date	2021.10.07.14.49.59;	author nia;	state Exp;
branches;
next	1.2;
commitid	vuCfQTsk9aB3bTbD;

1.2
date	2021.02.15.02.02.15;	author markd;	state Exp;
branches;
next	1.1;
commitid	o2xACDosdMtjsKHC;

1.1
date	2018.05.22.21.08.47;	author markd;	state Exp;
branches;
next	;
commitid	QfNzXBcgLnCqWkDA;


desc
@@


1.4
log
@print: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes
@
text
@$NetBSD: distinfo,v 1.3 2021/10/07 14:49:59 nia Exp $

BLAKE2s (ebproof.r57544.tar.xz) = b0dfed99c634d9c2994e544bfaa4c41b9ed657c253fc62d6dac1401a00967058
SHA512 (ebproof.r57544.tar.xz) = e2b130cbc7b98555ad010ab5bc5226c68f413581b3128245500ad3ba734e4291c91cc42c96ee4108a1f359fb7cb4c884dd717aedba9e594865466e6c29d13be1
Size (ebproof.r57544.tar.xz) = 4220 bytes
@


1.3
log
@print: Remove SHA1 hashes for distfiles
@
text
@d1 1
a1 1
$NetBSD: distinfo,v 1.2 2021/02/15 02:02:15 markd Exp $
d3 1
a3 1
RMD160 (ebproof.r57544.tar.xz) = f2d54f95ba8092c6e225cdbb8a5078f4cac4f02e
@


1.2
log
@tex-ebproof{,-doc}: update to 2.1.1

This is mostly a bugfix release which ensures compatibility
with the new LaTeX release.

It also makes the `prooftree` environment robust in tabular
contexts and provides a new statement `\overlay` that can
be useful in slideshows.
@
text
@d1 1
a1 1
$NetBSD$
a2 1
SHA1 (ebproof.r57544.tar.xz) = fd03974d09f20aa7047917fabdecfd49574b0cfe
@


1.1
log
@tex-ebproof{,-doc}: Add version 2.0

This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.
@
text
@d3 4
a6 4
SHA1 (tex-ebproof-44392/ebproof.tar.xz) = fd791ba7e6d2e1e1d7a386155f231521eca15b29
RMD160 (tex-ebproof-44392/ebproof.tar.xz) = 94e37fd1c376eed9dcba9b6d408d0fb35896d94d
SHA512 (tex-ebproof-44392/ebproof.tar.xz) = 7d86ffca1d5c6b6105e4490bf4cbab7f08c54dd42454870fe1756c5f518535d0226e2e10b9505514d39b5125e001ec062f17fda3f15bbc7250ec407e0eb54afa
Size (tex-ebproof-44392/ebproof.tar.xz) = 6324 bytes
@