Received: by mail.netbsd.org (Postfix, from userid 605) id 56B0084E1B; Wed, 18 Mar 2020 17:57:04 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id CAA8E84E1E for ; Wed, 18 Mar 2020 17:57:03 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id 5D5wOsD7dMb8 for ; Wed, 18 Mar 2020 17:57:03 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 2B90D84E1D for ; Wed, 18 Mar 2020 17:57:03 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 29BD9FB27; Wed, 18 Mar 2020 17:57:03 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_158455422321550" MIME-Version: 1.0 Date: Wed, 18 Mar 2020 17:57:03 +0000 From: "Joerg Sonnenberger" Subject: CVS commit: pkgsrc/math/py-z3solver To: pkgsrc-changes@NetBSD.org Reply-To: joerg@netbsd.org X-Mailer: log_accum Message-Id: <20200318175703.29BD9FB27@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_158455422321550 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: joerg Date: Wed Mar 18 17:57:03 UTC 2020 Modified Files: pkgsrc/math/py-z3solver: distinfo Log Message: Fix vector to element array conversion To generate a diff of this commit: cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/py-z3solver/distinfo Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_158455422321550 Content-Disposition: inline Content-Length: 1056 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/math/py-z3solver/distinfo diff -u pkgsrc/math/py-z3solver/distinfo:1.1 pkgsrc/math/py-z3solver/distinfo:1.2 --- pkgsrc/math/py-z3solver/distinfo:1.1 Tue Mar 20 15:47:36 2018 +++ pkgsrc/math/py-z3solver/distinfo Wed Mar 18 17:57:02 2020 @@ -1,8 +1,9 @@ -$NetBSD: distinfo,v 1.1 2018/03/20 15:47:36 khorben Exp $ +$NetBSD: distinfo,v 1.2 2020/03/18 17:57:02 joerg Exp $ SHA1 (z3-solver-4.5.1.0.post2.tar.gz) = 6cc67617079010179308cf8ffe5b0098d4152fdd RMD160 (z3-solver-4.5.1.0.post2.tar.gz) = 97055f883f7567a53517cceda915a4e34d058452 SHA512 (z3-solver-4.5.1.0.post2.tar.gz) = babbca25de59638c52b91953030cd7af20d1e795af7da760f71bb43940116a4415fdf7208b967bf5eb54435780d21cdc7740faac9cf81cee59005f16f4af09a0 Size (z3-solver-4.5.1.0.post2.tar.gz) = 3891600 bytes SHA1 (patch-core_scripts_mk__util.py) = 45d2cd60977cfa6b89d9033586b8467af0a79cfd +SHA1 (patch-core_src_util_lp_permutation__matrix.h) = 2ceb66d811664f5b1396137f3f40579b9c474496 SHA1 (patch-core_src_util_stopwatch.h) = 3163302c46a6315530f9bfb25be93a1efed814a7 --_----------=_158455422321550--