diff options
| author | jaapb <jaapb> | 2015-05-29 11:37:24 +0000 |
|---|---|---|
| committer | jaapb <jaapb> | 2015-05-29 11:37:24 +0000 |
| commit | f91ab2d03fc5f768feab4a49a16a42fadcf5c4d7 (patch) | |
| tree | 4982fb546ef30f200f48e2f3e6f779dce3fdf6b0 /print/tex-bussproofs/distinfo | |
| parent | 484ca0972d395e6bbe5841534f725cf1511a3967 (diff) | |
| download | pkgsrc-f91ab2d03fc5f768feab4a49a16a42fadcf5c4d7.tar.gz | |
Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in
the style of the sequent calculus.
Diffstat (limited to 'print/tex-bussproofs/distinfo')
| -rw-r--r-- | print/tex-bussproofs/distinfo | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/print/tex-bussproofs/distinfo b/print/tex-bussproofs/distinfo new file mode 100644 index 00000000000..22ec82ef5c7 --- /dev/null +++ b/print/tex-bussproofs/distinfo @@ -0,0 +1,5 @@ +$NetBSD: distinfo,v 1.1 2015/05/29 11:37:24 jaapb Exp $ + +SHA1 (tex-bussproofs-27488/bussproofs.tar.xz) = f7513522c86775eb3664fc80bc06d159f4d630f9 +RMD160 (tex-bussproofs-27488/bussproofs.tar.xz) = c980c62ea909404e27cfb346cf301efbd1cb4ddf +Size (tex-bussproofs-27488/bussproofs.tar.xz) = 8772 bytes |