Received: by mail.netbsd.org (Postfix, from userid 605) id A738B84F17; Thu, 11 May 2023 09:58:50 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id D7CCF84CEF for ; Thu, 11 May 2023 09:58:49 +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 DA8rkqiXPhZj for ; Thu, 11 May 2023 09:58:49 +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 2DC8F84CD7 for ; Thu, 11 May 2023 09:58:49 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 28BC1FA87; Thu, 11 May 2023 09:58:49 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_168379912918060" MIME-Version: 1.0 Date: Thu, 11 May 2023 09:58:49 +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: <20230511095849.28BC1FA87@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_168379912918060 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: adam Date: Thu May 11 09:58:48 UTC 2023 Modified Files: pkgsrc/doc: CHANGES-2023 TODO Log Message: Updated devel/deepstate; Removed math/py-z3solver To generate a diff of this commit: cvs rdiff -u -r1.2998 -r1.2999 pkgsrc/doc/CHANGES-2023 cvs rdiff -u -r1.22923 -r1.22924 pkgsrc/doc/TODO Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_168379912918060 Content-Disposition: inline Content-Length: 1358 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.2998 pkgsrc/doc/CHANGES-2023:1.2999 --- pkgsrc/doc/CHANGES-2023:1.2998 Thu May 11 09:53:53 2023 +++ pkgsrc/doc/CHANGES-2023 Thu May 11 09:58:48 2023 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2023,v 1.2998 2023/05/11 09:53:53 adam Exp $ +$NetBSD: CHANGES-2023,v 1.2999 2023/05/11 09:58:48 adam Exp $ Changes to the packages collection and infrastructure in 2023: @@ -4174,3 +4174,5 @@ Changes to the packages collection and i Updated sysutils/hexyl to 0.13.0 [pin 2023-05-11] Updated math/py-sympy to 1.12 [adam 2023-05-11] Updated devel/py-manticore to 0.3.7 [adam 2023-05-11] + Updated devel/deepstate to 0.1nb5 [adam 2023-05-11] + Removed math/py-z3solver successor math/py-z3 [adam 2023-05-11] Index: pkgsrc/doc/TODO diff -u pkgsrc/doc/TODO:1.22923 pkgsrc/doc/TODO:1.22924 --- pkgsrc/doc/TODO:1.22923 Thu May 11 06:47:49 2023 +++ pkgsrc/doc/TODO Thu May 11 09:58:48 2023 @@ -1,4 +1,4 @@ -$NetBSD: TODO,v 1.22923 2023/05/11 06:47:49 adam Exp $ +$NetBSD: TODO,v 1.22924 2023/05/11 09:58:48 adam Exp $ Suggested new packages ====================== @@ -1248,7 +1248,6 @@ For possible Perl packages updates, see o py-wxWidgets-4.0.0 o py-yubiauth-0.3.10 o py-yubikey-manager-5.1.1 - o py-z3solver-4.8.10.0 o pythontidy-1.23 o q5go-2.1.1 o qalculate-3.18.0 --_----------=_168379912918060--