pkgsrc/print/tex-ebproof/distinfo

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

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
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. 2018-05-22 23:08:47 +02:00			$NetBSD: distinfo,v 1.1 2018/05/22 21:08:47 markd Exp $

			`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`