Received: by mail.netbsd.org (Postfix, from userid 605) id 8E60584EB9; Wed, 17 May 2023 07:56:15 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id BD2E584E9F for ; Wed, 17 May 2023 07:56:14 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 8FaIDxnme39O for ; Wed, 17 May 2023 07:56:14 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.NetBSD.org [IPv6:2001:470:a085:999:28c:faff:fe03:5984]) by mail.netbsd.org (Postfix) with ESMTP id 1CE5A84D01 for ; Wed, 17 May 2023 07:56:14 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 14A03FA87; Wed, 17 May 2023 07:56:14 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1684310174110770" MIME-Version: 1.0 Date: Wed, 17 May 2023 07:56:14 +0000 From: "Adam Ciarcinski" Subject: CVS commit: pkgsrc/doc To: pkgsrc-changes@NetBSD.org Reply-To: adam@netbsd.org X-Mailer: log_accum Message-Id: <20230517075614.14A03FA87@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1684310174110770 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: adam Date: Wed May 17 07:56:13 UTC 2023 Modified Files: pkgsrc/doc: CHANGES-2023 Log Message: Updated math/z3, math/py-z3 To generate a diff of this commit: cvs rdiff -u -r1.3092 -r1.3093 pkgsrc/doc/CHANGES-2023 Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1684310174110770 Content-Disposition: inline Content-Length: 781 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/doc/CHANGES-2023 diff -u pkgsrc/doc/CHANGES-2023:1.3092 pkgsrc/doc/CHANGES-2023:1.3093 --- pkgsrc/doc/CHANGES-2023:1.3092 Wed May 17 07:17:29 2023 +++ pkgsrc/doc/CHANGES-2023 Wed May 17 07:56:13 2023 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2023,v 1.3092 2023/05/17 07:17:29 adam Exp $ +$NetBSD: CHANGES-2023,v 1.3093 2023/05/17 07:56:13 adam Exp $ Changes to the packages collection and infrastructure in 2023: @@ -4338,3 +4338,5 @@ Changes to the packages collection and i Updated games/warzone2100 to 4.3.5 [triaxx 2023-05-17] Added textproc/py-types-yaml version 6.0.12.9 [adam 2023-05-17] Updated net/py-responses to 0.23.1nb1 [adam 2023-05-17] + Updated math/z3 to 4.12.2 [adam 2023-05-17] + Updated math/py-z3 to 4.12.2 [adam 2023-05-17] --_----------=_1684310174110770--