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.16.33; author markd; state Exp; branches; next ; commitid kT1qptG3i6Oexviy; 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.tar.xz) = 98845b9dc0430c85a5ecf32b15d740def09bedd17465657ed6ea447f92fc954c SHA512 (tex-lkproof-20021/lkproof.tar.xz) = 14c9ad1a55c6dd61968cb59867a42c4f35ad7e318e04f32b9124baa554d311c3355e314aa79f5f0ee31ecd927efb9b6e2fd4a417028967967226ff3c18252dcc Size (tex-lkproof-20021/lkproof.tar.xz) = 2640 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.tar.xz) = ccf38b7fb39d8044faecdc626613d466f53dd8c8 @ 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:16:33 markd Exp $ a2 1 SHA1 (tex-lkproof-20021/lkproof.tar.xz) = 3ef292bdc8f7b71672714f393936ce21cffcc373 @ 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 @