head 1.14; access; symbols pkgsrc-2023Q4:1.14.0.18 pkgsrc-2023Q4-base:1.14 pkgsrc-2023Q3:1.14.0.16 pkgsrc-2023Q3-base:1.14 pkgsrc-2023Q2:1.14.0.14 pkgsrc-2023Q2-base:1.14 pkgsrc-2023Q1:1.14.0.12 pkgsrc-2023Q1-base:1.14 pkgsrc-2022Q4:1.14.0.10 pkgsrc-2022Q4-base:1.14 pkgsrc-2022Q3:1.14.0.8 pkgsrc-2022Q3-base:1.14 pkgsrc-2022Q2:1.14.0.6 pkgsrc-2022Q2-base:1.14 pkgsrc-2022Q1:1.14.0.4 pkgsrc-2022Q1-base:1.14 pkgsrc-2021Q4:1.14.0.2 pkgsrc-2021Q4-base:1.14 pkgsrc-2021Q3:1.12.0.46 pkgsrc-2021Q3-base:1.12 pkgsrc-2021Q2:1.12.0.44 pkgsrc-2021Q2-base:1.12 pkgsrc-2021Q1:1.12.0.42 pkgsrc-2021Q1-base:1.12 pkgsrc-2020Q4:1.12.0.40 pkgsrc-2020Q4-base:1.12 pkgsrc-2020Q3:1.12.0.38 pkgsrc-2020Q3-base:1.12 pkgsrc-2020Q2:1.12.0.34 pkgsrc-2020Q2-base:1.12 pkgsrc-2020Q1:1.12.0.14 pkgsrc-2020Q1-base:1.12 pkgsrc-2019Q4:1.12.0.36 pkgsrc-2019Q4-base:1.12 pkgsrc-2019Q3:1.12.0.32 pkgsrc-2019Q3-base:1.12 pkgsrc-2019Q2:1.12.0.30 pkgsrc-2019Q2-base:1.12 pkgsrc-2019Q1:1.12.0.28 pkgsrc-2019Q1-base:1.12 pkgsrc-2018Q4:1.12.0.26 pkgsrc-2018Q4-base:1.12 pkgsrc-2018Q3:1.12.0.24 pkgsrc-2018Q3-base:1.12 pkgsrc-2018Q2:1.12.0.22 pkgsrc-2018Q2-base:1.12 pkgsrc-2018Q1:1.12.0.20 pkgsrc-2018Q1-base:1.12 pkgsrc-2017Q4:1.12.0.18 pkgsrc-2017Q4-base:1.12 pkgsrc-2017Q3:1.12.0.16 pkgsrc-2017Q3-base:1.12 pkgsrc-2017Q2:1.12.0.12 pkgsrc-2017Q2-base:1.12 pkgsrc-2017Q1:1.12.0.10 pkgsrc-2017Q1-base:1.12 pkgsrc-2016Q4:1.12.0.8 pkgsrc-2016Q4-base:1.12 pkgsrc-2016Q3:1.12.0.6 pkgsrc-2016Q3-base:1.12 pkgsrc-2016Q2:1.12.0.4 pkgsrc-2016Q2-base:1.12 pkgsrc-2016Q1:1.12.0.2 pkgsrc-2016Q1-base:1.12 pkgsrc-2015Q4:1.11.0.2 pkgsrc-2015Q4-base:1.11 pkgsrc-2015Q3:1.10.0.16 pkgsrc-2015Q3-base:1.10 pkgsrc-2015Q2:1.10.0.14 pkgsrc-2015Q2-base:1.10 pkgsrc-2015Q1:1.10.0.12 pkgsrc-2015Q1-base:1.10 pkgsrc-2014Q4:1.10.0.10 pkgsrc-2014Q4-base:1.10 pkgsrc-2014Q3:1.10.0.8 pkgsrc-2014Q3-base:1.10 pkgsrc-2014Q2:1.10.0.6 pkgsrc-2014Q2-base:1.10 pkgsrc-2014Q1:1.10.0.4 pkgsrc-2014Q1-base:1.10 pkgsrc-2013Q4:1.10.0.2 pkgsrc-2013Q4-base:1.10 pkgsrc-2013Q3:1.9.0.20 pkgsrc-2013Q3-base:1.9 pkgsrc-2013Q2:1.9.0.18 pkgsrc-2013Q2-base:1.9 pkgsrc-2013Q1:1.9.0.16 pkgsrc-2013Q1-base:1.9 pkgsrc-2012Q4:1.9.0.14 pkgsrc-2012Q4-base:1.9 pkgsrc-2012Q3:1.9.0.12 pkgsrc-2012Q3-base:1.9 pkgsrc-2012Q2:1.9.0.10 pkgsrc-2012Q2-base:1.9 pkgsrc-2012Q1:1.9.0.8 pkgsrc-2012Q1-base:1.9 pkgsrc-2011Q4:1.9.0.6 pkgsrc-2011Q4-base:1.9 pkgsrc-2011Q3:1.9.0.4 pkgsrc-2011Q3-base:1.9 pkgsrc-2011Q2:1.9.0.2 pkgsrc-2011Q2-base:1.9 pkgsrc-2011Q1:1.8.0.8 pkgsrc-2011Q1-base:1.8 pkgsrc-2010Q4:1.8.0.6 pkgsrc-2010Q4-base:1.8 pkgsrc-2010Q3:1.8.0.4 pkgsrc-2010Q3-base:1.8 pkgsrc-2010Q2:1.8.0.2 pkgsrc-2010Q2-base:1.8 pkgsrc-2010Q1:1.7.0.24 pkgsrc-2010Q1-base:1.7 pkgsrc-2009Q4:1.7.0.22 pkgsrc-2009Q4-base:1.7 pkgsrc-2009Q3:1.7.0.20 pkgsrc-2009Q3-base:1.7 pkgsrc-2009Q2:1.7.0.18 pkgsrc-2009Q2-base:1.7 pkgsrc-2009Q1:1.7.0.16 pkgsrc-2009Q1-base:1.7 pkgsrc-2008Q4:1.7.0.14 pkgsrc-2008Q4-base:1.7 pkgsrc-2008Q3:1.7.0.12 pkgsrc-2008Q3-base:1.7 cube-native-xorg:1.7.0.10 cube-native-xorg-base:1.7 pkgsrc-2008Q2:1.7.0.8 pkgsrc-2008Q2-base:1.7 cwrapper:1.7.0.6 pkgsrc-2008Q1:1.7.0.4 pkgsrc-2008Q1-base:1.7 pkgsrc-2007Q4:1.7.0.2 pkgsrc-2007Q4-base:1.7 pkgsrc-2007Q3:1.6.0.12 pkgsrc-2007Q3-base:1.6 pkgsrc-2007Q2:1.6.0.10 pkgsrc-2007Q2-base:1.6 pkgsrc-2007Q1:1.6.0.8 pkgsrc-2007Q1-base:1.6 pkgsrc-2006Q4:1.6.0.6 pkgsrc-2006Q4-base:1.6 pkgsrc-2006Q3:1.6.0.4 pkgsrc-2006Q3-base:1.6 pkgsrc-2006Q2:1.6.0.2 pkgsrc-2006Q2-base:1.6 pkgsrc-2006Q1:1.5.0.4 pkgsrc-2006Q1-base:1.5 pkgsrc-2005Q4:1.5.0.2 pkgsrc-2005Q4-base:1.5 pkgsrc-2005Q3:1.4.0.6 pkgsrc-2005Q3-base:1.4 pkgsrc-2005Q2:1.4.0.4 pkgsrc-2005Q2-base:1.4 pkgsrc-2005Q1:1.4.0.2 pkgsrc-2005Q1-base:1.4 pkgsrc-2004Q4:1.3.0.8 pkgsrc-2004Q4-base:1.3 pkgsrc-2004Q3:1.3.0.6 pkgsrc-2004Q3-base:1.3 pkgsrc-2004Q2:1.3.0.4 pkgsrc-2004Q2-base:1.3 pkgsrc-2004Q1:1.3.0.2 pkgsrc-2004Q1-base:1.3 pkgsrc-2003Q4:1.2.0.10 pkgsrc-2003Q4-base:1.2 netbsd-1-6-1:1.2.0.6 netbsd-1-6-1-base:1.2 netbsd-1-6:1.2.0.8 netbsd-1-6-RELEASE-base:1.2 pkgviews:1.2.0.4 pkgviews-base:1.2 buildlink2:1.2.0.2 buildlink2-base:1.2 netbsd-1-5-PATCH003:1.2 netbsd-1-5-PATCH001:1.2; locks; strict; comment @# @; 1.14 date 2021.10.26.10.51.42; author nia; state Exp; branches; next 1.13; commitid obtJ15s6fwznfjeD; 1.13 date 2021.10.07.14.21.00; author nia; state Exp; branches; next 1.12; commitid QJiB3Fx8Lkrv1TbD; 1.12 date 2015.12.29.23.34.51; author dholland; state Exp; branches; next 1.11; commitid J5mAcuIF0darSTOy; 1.11 date 2015.11.03.22.50.38; author agc; state Exp; branches; next 1.10; commitid QD13DbDX9SeFqHHy; 1.10 date 2013.11.29.18.30.09; author joerg; state Exp; branches; next 1.9; commitid wnMlVH6xo8qwCcfx; 1.9 date 2011.04.19.19.18.40; author asau; state Exp; branches; next 1.8; 1.8 date 2010.05.19.11.55.43; author asau; state Exp; branches; next 1.7; 1.7 date 2007.12.01.13.15.55; author rillig; state Exp; branches; next 1.6; 1.6 date 2006.05.02.13.31.55; author joerg; state Exp; branches; next 1.5; 1.5 date 2005.10.14.19.54.39; author tonio; state Exp; branches; next 1.4; 1.4 date 2005.02.24.09.03.09; author agc; state Exp; branches; next 1.3; 1.3 date 2003.12.31.01.20.35; author kristerw; state Exp; branches; next 1.2; 1.2 date 2001.04.19.15.00.53; author agc; state Exp; branches; next 1.1; 1.1 date 2001.04.17.11.31.31; author agc; state Exp; branches; next ; desc @@ 1.14 log @lang: Replace RMD160 checksums with BLAKE2s checksums All checksums have been double-checked against existing RMD160 and SHA512 hashes The following distfiles could not be fetched (possibly fetched conditionally?): ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-aarch64-unknown-linux-gnu.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-aarch64-unknown-linux-musl.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-aarch64-unknown-netbsd.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-armv7-unknown-netbsd-eabihf.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-i686-unknown-linux-gnu.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-powerpc-unknown-netbsd90.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-sparc64-unknown-netbsd.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-apple-darwin.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-unknown-freebsd.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-unknown-linux-gnu.tar.gz ./lang/rust-bin/distinfo rust-bin-1.54.0/rust-1.54.0-x86_64-unknown-linux-musl.tar.gz ./lang/smlnj/distinfo smlnj-110.73/boot.ppc-unix.tgz ./lang/smlnj/distinfo smlnj-110.73/boot.sparc-unix.tgz ./lang/oracle-jre8/distinfo jce_policy-8.zip ./lang/oracle-jre8/distinfo jre-8u202-linux-i586.tar.gz ./lang/oracle-jre8/distinfo jre-8u202-linux-x64.tar.gz ./lang/oracle-jre8/distinfo jre-8u202-macosx-x64.tar.gz ./lang/oracle-jre8/distinfo jre-8u202-solaris-x64.tar.gz ./lang/oracle-jdk8/distinfo jdk-8u202-linux-i586.tar.gz ./lang/oracle-jdk8/distinfo jdk-8u202-linux-x64.tar.gz ./lang/oracle-jdk8/distinfo jdk-8u202-solaris-x64.tar.gz ./lang/ghc80/distinfo ghc-7.10.3-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc80/distinfo ghc-8.0.2-boot-i386-unknown-freebsd.tar.xz ./lang/ghc80/distinfo ghc-8.0.2-boot-x86_64-unknown-freebsd.tar.xz ./lang/gcc5-aux/distinfo ada-bootstrap.i386.freebsd.100B.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.i386.freebsd.84.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.dragonfly.41.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.freebsd.100B.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.freebsd.84.tar.bz2 ./lang/gcc5-aux/distinfo ada-bootstrap.x86_64.solaris.511.tar.bz2 ./lang/rust/distinfo rust-1.53.0-aarch64-apple-darwin.tar.gz ./lang/rust/distinfo rust-1.53.0-aarch64-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-1.53.0-aarch64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-aarch64_be-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-arm-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-1.53.0-armv7-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-1.53.0-i686-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-1.53.0-powerpc-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-powerpc-unknown-netbsd90.tar.gz ./lang/rust/distinfo rust-1.53.0-sparc64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-apple-darwin.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-unknown-freebsd.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-unknown-illumos.tar.gz ./lang/rust/distinfo rust-1.53.0-x86_64-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64-apple-darwin.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-aarch64_be-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-arm-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-std-1.53.0-armv7-unknown-linux-gnueabihf.tar.gz ./lang/rust/distinfo rust-std-1.53.0-i686-unknown-linux-gnu.tar.gz ./lang/rust/distinfo rust-std-1.53.0-powerpc-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-powerpc-unknown-netbsd90.tar.gz ./lang/rust/distinfo rust-std-1.53.0-sparc64-unknown-netbsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-x86_64-apple-darwin.tar.gz ./lang/rust/distinfo rust-std-1.53.0-x86_64-unknown-freebsd.tar.gz ./lang/rust/distinfo rust-std-1.53.0-x86_64-unknown-linux-gnu.tar.gz ./lang/smlnj11072/distinfo smlnj-110.72/boot.ppc-unix.tgz ./lang/smlnj11072/distinfo smlnj-110.72/boot.sparc-unix.tgz ./lang/ghc84/distinfo ghc-8.0.2-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc84/distinfo ghc-8.4.4-boot-i386-unknown-freebsd.tar.xz ./lang/ghc84/distinfo ghc-8.4.4-boot-x86_64-apple-darwin.tar.xz ./lang/ghc84/distinfo ghc-8.4.4-boot-x86_64-unknown-freebsd.tar.xz ./lang/ghc7/distinfo ghc-7.10.3-boot-i386-unknown-freebsd.tar.xz ./lang/ghc7/distinfo ghc-7.6.3-boot-i386-unknown-solaris2.tar.xz ./lang/ghc7/distinfo ghc-7.6.3-boot-powerpc-apple-darwin.tar.xz ./lang/ghc7/distinfo ghc-7.6.3-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc90/distinfo ghc-8.10.4-boot-x86_64-unknown-solaris2.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-aarch64-unknown-netbsd.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-i386-unknown-freebsd.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-x86_64-apple-darwin.tar.xz ./lang/ghc90/distinfo ghc-9.0.1-boot-x86_64-unknown-freebsd.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk-1.8.181-netbsd-8-aarch64-20180917.tar.xz ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.6-amd64-20140719.tar.bz2 ./lang/openjdk8/distinfo openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 ./lang/go-bin/distinfo go1.14.2.darwin-amd64.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-386.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-amd64.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-arm64.tar.gz ./lang/go-bin/distinfo go1.14.2.linux-armv6l.tar.gz ./lang/go-bin/distinfo go1.14.2.netbsd-arm64.tar.gz ./lang/go-bin/distinfo go1.16beta1.darwin-arm64.tar.gz ./lang/gcc6-aux/distinfo ada-bootstrap.i386.freebsd.100B.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.dragonfly.41.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.freebsd.100B.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.freebsd.84.tar.bz2 ./lang/gcc6-aux/distinfo ada-bootstrap.x86_64.solaris.511.tar.bz2 ./lang/ghc810/distinfo ghc-8.8.4-boot-x86_64-unknown-solaris2.tar.xz ./lang/sun-jre7/distinfo UnlimitedJCEPolicyJDK7.zip ./lang/sun-jre7/distinfo jre-7u80-linux-x64.tar.gz ./lang/sun-jre7/distinfo jre-7u80-solaris-i586.tar.gz ./lang/sun-jre7/distinfo jre-7u80-solaris-x64.tar.gz ./lang/ghc88/distinfo ghc-8.4.4-boot-i386-unknown-freebsd.tar.xz ./lang/ghc88/distinfo ghc-8.4.4-boot-x86_64-apple-darwin.tar.xz ./lang/ghc88/distinfo ghc-8.4.4-boot-x86_64-unknown-freebsd.tar.xz ./lang/ghc88/distinfo ghc-8.4.4-boot-x86_64-unknown-solaris2.tar.xz ./lang/gcc-aux/distinfo ada-bootstrap.i386.dragonfly.36A.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.i386.freebsd.100B.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.i386.freebsd.84.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.freebsd.100B.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.freebsd.84.tar.bz2 ./lang/gcc-aux/distinfo ada-bootstrap.x86_64.solaris.511.tar.bz2 ./lang/gcc6/distinfo ecj-4.5.jar ./lang/openjdk11/distinfo bootstrap-jdk-1.11.0.7.10-netbsd-9-aarch64-20200509.tar.xz ./lang/sun-jdk7/distinfo jdk-7u80-linux-x64.tar.gz ./lang/sun-jdk7/distinfo jdk-7u80-solaris-i586.tar.gz ./lang/sun-jdk7/distinfo jdk-7u80-solaris-x64.tar.gz @ text @$NetBSD: distinfo,v 1.13 2021/10/07 14:21:00 nia Exp $ BLAKE2s (Maude-2.6.tar.gz) = 027559a10c33d57bc49564747f7722d537d3d25c0c81c9bac6f02dd76cd50eaf SHA512 (Maude-2.6.tar.gz) = 3931a540f72acdf2de532eff7b55ba4c9496b38a4b036f4e37d16b860f87728d6df5b9e377fd3489e55f7c369bca5eb9cded9b7a75032c410eff9a6e85da3fab Size (Maude-2.6.tar.gz) = 1600026 bytes SHA1 (patch-ab) = 8c20e9f3c8142a93355bf4e153f2004ce8a90a81 SHA1 (patch-ac) = 5b3eb5bb70989d1d7b699ff41577ca7426de249d SHA1 (patch-src_BuiltIn_stringOpSymbol.cc) = 77dce3ecc2311374cdc325b5b36bbaab37ba9766 SHA1 (patch-src_Mixfix_bottom.yy) = 0f296d2f2f14f7a7671a3881941a60c640421f99 SHA1 (patch-src_Mixfix_commands.yy) = fb0b64a970634e58e97e98259e739b5f7ea807d9 SHA1 (patch-src_Mixfix_interact.cc) = b1dd55d6edf7d0084a8bdf3dbecc9252515e693c SHA1 (patch-src_Mixfix_lexerAux.cc) = ba9916527e3618efa6173c4c84b2dbf4b8baf67d SHA1 (patch-src_Mixfix_lexerAux.hh) = fb2d20bba9050b9ea16952f6bb22123072ffb1e7 SHA1 (patch-src_Mixfix_modules.yy) = d1b5a65d92aed7c32ffe2e5e854fa3aa750610c1 SHA1 (patch-src_Mixfix_token.cc) = ff3637adc38007886f3086354b5ef05d053c4e96 SHA1 (patch-src_Mixfix_top.yy) = 6e4c3d1bf434a9f6807d51e2c811cf9d61cd0ca0 SHA1 (patch-src_ObjectSystem_configSymbol.hh) = 8a09e7d56f2838e3212c546a8fc3230dfa83db98 SHA1 (patch-src_ObjectSystem_objectMap.cc) = c5fa4e5f50cf97f379776265ebb348c0ea11230e SHA1 (patch-src_ObjectSystem_objectSystemRewritingContext.hh) = ec1f2d654f49cdfca4245537731ce49749d4da80 SHA1 (patch-src_Utility_ropeStuff.hh) = 6f9a674853ecc576e6938261ec5593a34b2e7bc1 @ 1.13 log @lang: Remove SHA1 hashes for distfiles @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.12 2015/12/29 23:34:51 dholland Exp $ d3 1 a3 1 RMD160 (Maude-2.6.tar.gz) = a9387701016e04ba4a256c3db8c9f10195147183 @ 1.12 log @Add patch comments. @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.11 2015/11/03 22:50:38 agc Exp $ a2 1 SHA1 (Maude-2.6.tar.gz) = 3f1ec2f39a22942bb096102d1d8d6eed4510483e @ 1.11 log @Add SHA512 digests for distfiles for lang category Problems found with existing digests: Package nhc98 distfile nhc98src-1.22.tar.gz a8adc8f22371998ee0657bc0e01058a57d876abc [recorded] 81975fcb5f1dda5efeaabc30ce8c6dceae55e591 [calculated] Problems found locating distfiles: Package gcc-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2 Package gcc-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2 Package gcc5-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2 Package ghc7: missing distfile ghc-7.6.3-boot-i386-unknown-freebsd.tar.xz Package icc11: missing distfile l_cproc_p_11.1.080.tgz Package jini: missing distfile jini-1_2_1_001-src.zip Package oo2c: missing distfile oo2c_32-2.0.11.tar.bz2 Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz Package openjdk7: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz Package openjdk8: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2 Package oracle-jdk8: missing distfile jdk-8u60-linux-i586.tar.gz Package oracle-jdk8: missing distfile jdk-8u60-solaris-x64.tar.gz Package oracle-jre8: missing distfile jre-8u60-linux-i586.tar.gz Package oracle-jre8: missing distfile jre-8u60-solaris-x64.tar.gz Package sun-jdk6: missing distfile jdk-6u45-linux-i586.bin Package sun-jdk6: missing distfile jdk-6u45-solaris-i586.sh Package sun-jdk7: missing distfile jdk-7u72-linux-i586.tar.gz Package sun-jdk7: missing distfile jdk-7u72-solaris-i586.tar.gz Package sun-jre6: missing distfile jce_policy-6.zip Package sun-jre6: missing distfile jre-6u45-linux-x64.bin Package sun-jre6: missing distfile jre-6u45-solaris-x64.sh Package sun-jre7: missing distfile jre-7u72-linux-i586.tar.gz Package sun-jre7: missing distfile jre-7u72-solaris-i586.tar.gz 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.10 2013/11/29 18:30:09 joerg Exp $ d7 15 a21 15 SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f SHA1 (patch-src_BuiltIn_stringOpSymbol.cc) = bb79d812dbb5d217ba50c71568e4b9da071917bc SHA1 (patch-src_Mixfix_bottom.yy) = 778f004b2590612a693867f44e0803e557076b69 SHA1 (patch-src_Mixfix_commands.yy) = 8764520a8e2417408e1d9cd5820dac96cb7b5de1 SHA1 (patch-src_Mixfix_interact.cc) = 0d15aad293cf28bde3b2a659c52dab8fe5a05357 SHA1 (patch-src_Mixfix_lexerAux.cc) = c8bd0d1e68aec2aa2b21b69520172f2de851d661 SHA1 (patch-src_Mixfix_lexerAux.hh) = 1e52d2346dfde0477b7db1882c5d67c1dce4502a SHA1 (patch-src_Mixfix_modules.yy) = cfa794edd400f1934a8bbba3bdb5051d53a09090 SHA1 (patch-src_Mixfix_token.cc) = f8317efc2f5636749f597e8f252398d6be5c2dec SHA1 (patch-src_Mixfix_top.yy) = 884758d2b2e3f5d55dca51e35bf5d0c4e8ad79a0 SHA1 (patch-src_ObjectSystem_configSymbol.hh) = c5ea2818a62a363e0fd598b98051abdeb095b503 SHA1 (patch-src_ObjectSystem_objectMap.cc) = bb6f20ba7fd73133a5e5799e6bac0ebbb744bb55 SHA1 (patch-src_ObjectSystem_objectSystemRewritingContext.hh) = f3000c8528b550096fb7355669033061db1ad68b SHA1 (patch-src_Utility_ropeStuff.hh) = 421c3d104aef7e4e908383220c502d3d21b3e51b @ 1.10 log @Fix build with newer bison. Don't use with clang, but fall back to . Untested for functionality. @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.9 2011/04/19 19:18:40 asau Exp $ d5 1 @ 1.9 log @Update Maude to version 2.6 This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details. @ text @d1 1 a1 1 $NetBSD$ d8 13 @ 1.8 log @Update to Maude 2.4 ================================== New features and changes since 2.3 ================================== (1) Maude 2.4 provides an order-sorted Ax-unification algorithm for all order-sorted theories (CSigma, E U Ax) such that: - the signature Sigma is preregular modulo Ax; - the axioms Ax associated to function symbols are as follows: - there can be arbitrary function symbols and constants with no equational attributes; - the iter equational attribute can be declared for some unary symbols; - the comm or assoc comm attributes can be declared for some binary function symbols, but then no other equational attributes must be given for such symbols. Explicitly excluded are theories with binary function symbols having either: (i) the id:, left id:, or right id: attributes; or (ii) the assoc attribute without the comm one; or (iii) a combination of (i) and (ii). (2) Unification is reflected in the META-LEVEL module by two descent functions: op metaUnify : Module UnificationProblem Nat Nat ~> UnificationPair? [special (...)]. op metaDisjointUnify : Module UnificationProblem Nat Nat ~> UnificationTriple? [special (...)]. (3) Statements (rule, equations and membership axioms) can now take a print attribute. In print attribute mode, when a statement is executed the items in its print attribute are printed, with variables taking their value in the current substitution. (4) Parsing of file names in the commands load, in, cd and pushd now allows spaces using either of two syntactic conventions: If the file name starts with " then all following characters will be taken literally up to the terminating ", line feed or form feed. If a file name starts with other than ", the following escape sequences are recognized \\ becomes \ \ becomes \" becomes " (5) For operators in the C, CU, CI and CUI theories, if both arguments are the same, the rewrite, srewrite and search commands and the model checker will only consider one of the arguments for that step since only one rewriting step is made per pass, the choice of argument is irrelevant. This already happened for operators in the AC and ACU theories. The frewrite command still always considers all arguments even if they are identical since multiple rewriting steps can happen in each pass. (6) The GNU libsigsegv library is used to distinguigh between true segmentation faults and stack overflows and so stack overflows are now reported with an informative message. (7) Several optimizations, bug fixes and improvements. @ text @d3 3 a5 3 SHA1 (Maude-2.4.tar.gz) = fe6c11a9ba370175eb477aad4042f2f0ef8cce7e RMD160 (Maude-2.4.tar.gz) = dae6357386cb4f4a683fd23aa32580f29a013f82 Size (Maude-2.4.tar.gz) = 1528771 bytes @ 1.7 log @Updated maude to 2.3. Overview of Changes in Maude alpha88f ===================================== * added commutative unification * fixed free theory instantiation bug * fixed sort calculation of S_Theory terms bug * fixed unification with too many variables bug * added iter theory unification Overview of Changes in Maude alpha88e ===================================== * string, qid and float constants allowed in unification * fixed unify f(X, Y) =? f(Y, X) bug Overview of Changes in Maude alpha88d ===================================== * set trace builtin on/off command * state caching in strategy language * first suppport for unification Overview of Changes in Maude alpha88c ===================================== * extra advisories in metalevel * min/max operators in FLOAT * slight change to search semantics * metalevel projection functions now support parameterized metamodules * fixed kind printing bug in metaPrettyPrint() * erwrite supports limit and continue Overview of Changes in Maude alpha88b ===================================== * minor syntactic changes to appease gcc 4.1 * minor importation changes in prelude.maude and model-checker.maude * fixed extension tracing bugs in search/model checker, strategy language and metalevel * revised/extended strategy language; cont now works with srew * fixed trace condition bug Overview of Changes in Maude alpha88a ===================================== * many changes to the prelude to fix unsoundness concerns * process based reimplementation of strategy language * better overparsing for operator declarations * fixed bug with views mapping to terms from FLOAT/STRING/QID * fixed bug in AU unique collapse matcher * fixed bug that allowed parsing of parameterized theories * fixed upModule() bug affecting renamings * fixed metaXmatch() kind bug introduced by alpha86 fix * subset tests for SET and SET* * predefined term ordering module Overview of Changes in Maude alpha88 ==================================== * fixed more sufficient completeness issues * search command now takes a depth bound * added metaNormalize() * added machine ints module Overview of Changes in Maude alpha87a ===================================== * fixed bug in ! strategy combinator * fixed long standing bug in look up code for assoc ops Overview of Changes in Maude alpha87 ==================================== * crude first version of strategy language Overview of Changes in Maude 2.2 (alpha86e) =========================================== * fixed long standing metalevel prec bug Overview of Changes in Maude alpha86d2 ====================================== * reorganized metalevel list sorts to fix sufficient completeness problem Overview of Changes in Maude alpha86d ===================================== * fixed stale pointer bug in view reevaluation * minor fixes to prelude.maude * fixed uninitialized format attribute bug * fixed parameter theory module expression memory leak * fixed polymorph identity memory leak * fixed polymorph identity processing bug * added and used QID-SET fmod * fixed metamodule cache deletion bug * sortLeq and lesserSort now work on types Overview of Changes in Maude alpha86c ===================================== * improved recovery from surface syntax errors * added DEFAULT fth, various views and ARRAY fmod * added LIST-AND-SET fmod * added linear Diophantine solver * warn about object level duplicate attributes * fixed backquote in created module name bug * fixed view ACU op->term mapping bug * added -no-wrap command line option * disallow parameter passing in nonfinal instantiations * allow renaming of modules with bound parameters Overview of Changes in Maude alpha86b ===================================== * module garbage collection bug fixed * metasummation bug fixed * target modules with free parameters no longer allowed in views * illegal importations no longer tolerated * views can no longer map module defined stuff * renamings can no longer map parameter defined stuff * operator mappings now allowed in views * dependency tracking supports views * meta support for parameterization * identity elements added for various structures in prelude Overview of Changes in Maude alpha86a ===================================== * fixed parameter checking bug for modules with both free and bound parameters * structured sorts printed correctly in various places * theory-views now pushed into parameterized sorts * new naming convention for otf modules * bound parameter instantiation now handled like Full Maude * -no-advise command line flag * declined messages to external objects generate advisories Overview of Changes in Maude alpha86 ==================================== * fixed loop mode \/ bug * metaPrettyPrint() now supports options * preregularity and constructor consistancy errors now produce a single informative warning * set trace rewrite and set trace body options * fixed metaXmatch() kind clash bug * SO_REUSEADDR flag set on server sockets * first attempt at parameterization in module system Overview of Changes in Maude alpha85a ===================================== * fixed more sufficient completeness issues in the prelude * metadata attribute now allowed for operator declarations * added crude support for sockets as external objects Overview of Changes in Maude alpha85 ==================================== * added min/max functions to number hierarchy * fixed bug in up'ing FloatOpSymbol hook * fixed sufficient completeness issues in the prelude * fixed a bug in up'ing terms which gave kind variables the wrong sort * glbSorts() now handles kinds * show profile now includes percentages * show path labels command added * metaSearchPath() added * set clear rules on/off command added * maximalAritySet() added Overview of Changes in Maude alpha84d ===================================== * fixed 0.0 ^ -1.0 bug * module selectors now support theories Overview of Changes in Maude alpha84c ===================================== * added random number generation * added counters * trace applications in metaApply()/metaXapply() @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.6 2006/05/02 13:31:55 joerg Exp $ d3 3 a5 3 SHA1 (Maude-2.3.tar.gz) = 68fbe7f76db1a5a5bb748cb751c5015d60c476d0 RMD160 (Maude-2.3.tar.gz) = 8c6b67d257468b4910631f4d6d0f2c3a0ff8d995 Size (Maude-2.3.tar.gz) = 1441239 bytes @ 1.6 log @Add some missing includes. Fix C++ for GCC 3.4+. @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.5 2005/10/14 19:54:39 tonio Exp $ d3 3 a5 4 SHA1 (Maude-2.1.1.tar.gz) = 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3 RMD160 (Maude-2.1.1.tar.gz) = 22793ee2c339a86e44e49dee56943c8b1099ee0b Size (Maude-2.1.1.tar.gz) = 1174764 bytes SHA1 (patch-aa) = 41888233aaac6af9d77072c15176c0ad0c274cd7 a7 1 SHA1 (patch-ad) = 2645f9e3cfa25ab2b66121fe76f63025092a387a @ 1.5 log @Update lang/maude to 2.1.1 Let the package use the TOOLS facilities for flex and bison Changes in this version includes a few bugfixes, support for syntax for theories, and parser improvement Update fixes PR 31753 @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.4 2005/02/24 09:03:09 agc Exp $ d6 4 @ 1.4 log @Add RMD160 digests @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $ d3 3 a5 6 SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd RMD160 (maude-src.tar.gz) = 1c622d07b048c6435a2609fa2ef4e795c01385b3 Size (maude-src.tar.gz) = 1030863 bytes SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5 RMD160 (fm.maude) = 1ca2ca8edf6a6f09ce71334c4a8afe5ada572914 Size (fm.maude) = 511212 bytes @ 1.3 log @Update lang/maude to version 2.0.1. Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License. @ text @d1 1 a1 1 $NetBSD: distinfo,v 1.2 2001/04/19 15:00:53 agc Exp $ d4 1 d7 1 @ 1.2 log @Move to sha1 digests, and add distfile sizes. @ text @d1 1 a1 1 $NetBSD$ d3 4 a6 2 SHA1 (maude-linux.tar.Z) = 141ac96fb7f2b99e4a24ffd3f63565a7c3cff59a Size (maude-linux.tar.Z) = 772565 bytes @ 1.1 log @+ move the distfile digest/checksum value from files/md5 to distinfo + move the patch digest/checksum values from files/patch-sum to distinfo @ text @d1 1 a1 1 $NetBSD: md5,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $ d4 1 @