head 1.4; access; symbols 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.48 pkgsrc-2021Q3-base:1.2 pkgsrc-2021Q2:1.2.0.46 pkgsrc-2021Q2-base:1.2 pkgsrc-2021Q1:1.2.0.44 pkgsrc-2021Q1-base:1.2 pkgsrc-2020Q4:1.2.0.42 pkgsrc-2020Q4-base:1.2 pkgsrc-2020Q3:1.2.0.40 pkgsrc-2020Q3-base:1.2 pkgsrc-2020Q2:1.2.0.36 pkgsrc-2020Q2-base:1.2 pkgsrc-2020Q1:1.2.0.16 pkgsrc-2020Q1-base:1.2 pkgsrc-2019Q4:1.2.0.38 pkgsrc-2019Q4-base:1.2 pkgsrc-2019Q3:1.2.0.34 pkgsrc-2019Q3-base:1.2 pkgsrc-2019Q2:1.2.0.32 pkgsrc-2019Q2-base:1.2 pkgsrc-2019Q1:1.2.0.30 pkgsrc-2019Q1-base:1.2 pkgsrc-2018Q4:1.2.0.28 pkgsrc-2018Q4-base:1.2 pkgsrc-2018Q3:1.2.0.26 pkgsrc-2018Q3-base:1.2 pkgsrc-2018Q2:1.2.0.24 pkgsrc-2018Q2-base:1.2 pkgsrc-2018Q1:1.2.0.22 pkgsrc-2018Q1-base:1.2 pkgsrc-2017Q4:1.2.0.20 pkgsrc-2017Q4-base:1.2 pkgsrc-2017Q3:1.2.0.18 pkgsrc-2017Q3-base:1.2 pkgsrc-2017Q2:1.2.0.14 pkgsrc-2017Q2-base:1.2 pkgsrc-2017Q1:1.2.0.12 pkgsrc-2017Q1-base:1.2 pkgsrc-2016Q4:1.2.0.10 pkgsrc-2016Q4-base:1.2 pkgsrc-2016Q3:1.2.0.8 pkgsrc-2016Q3-base:1.2 pkgsrc-2016Q2:1.2.0.6 pkgsrc-2016Q2-base:1.2 pkgsrc-2016Q1:1.2.0.4 pkgsrc-2016Q1-base:1.2 pkgsrc-2015Q4:1.2.0.2 pkgsrc-2015Q4-base:1.2 pkgsrc-2015Q3:1.1.0.4 pkgsrc-2015Q3-base:1.1 pkgsrc-2015Q2:1.1.0.2 pkgsrc-2015Q2-base:1.1; locks; strict; comment @# @; 1.4 date 2021.10.26.11.13.56; author nia; state Exp; branches; next 1.3; commitid Esjy1gYL4joMmjeD; 1.3 date 2021.10.07.14.50.45; author nia; state Exp; branches; next 1.2; commitid vuCfQTsk9aB3bTbD; 1.2 date 2015.11.04.01.02.26; author agc; state Exp; branches; next 1.1; commitid 8LOY30bzjgHE9IHy; 1.1 date 2015.04.21.22.17.23; author markd; state Exp; branches; next ; commitid Aq8xhkHfUxCeyviy; 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:50:45 nia Exp $ BLAKE2s (tex-lkproof-20021/lkproof.doc.tar.xz) = 6ac841dca1f2b07694298c089b64db93d28b7485ff75a3dbf3ea1c5910f0de61 SHA512 (tex-lkproof-20021/lkproof.doc.tar.xz) = 347ac5f77f019280be9840cfd7358ba7e78575a49323013f9162d50321d6aab07b38e4f10e436fb2556869da659970b5e8451a21629563f8bc2288aa4a0e56c3 Size (tex-lkproof-20021/lkproof.doc.tar.xz) = 258344 bytes @ 1.3 log @print: Remove SHA1 hashes for distfiles @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.2 2015/11/04 01:02:26 agc Exp $ d3 1 a3 1 RMD160 (tex-lkproof-20021/lkproof.doc.tar.xz) = fd84d5e4ffe7d1910cce1db5b850255db584f7e7 @ 1.2 log @Add SHA512 digests for distfiles for print category Problems found locating distfiles: Package acroread7: missing distfile AdobeReader_enu-7.0.9-1.i386.tar.gz Package acroread8: missing distfile AdobeReader_enu-8.1.7-1.sparc.tar.gz Package cups-filters: missing distfile cups-filters-1.1.0.tar.xz Package dvidvi: missing distfile dvidvi-1.0.tar.gz Package lgrind: missing distfile lgrind.tar.bz2 Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail. @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.1 2015/04/21 22:17:23 markd Exp $ a2 1 SHA1 (tex-lkproof-20021/lkproof.doc.tar.xz) = b0abf4de76f9fccc73b69cc1ab30a5cdbae4c6e0 @ 1.1 log @Initial import tex-lkproof{,-doc}-3.1 The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams. @ text @d1 1 a1 1 $NetBSD$ d5 1 @