Received: by mail.netbsd.org (Postfix, from userid 605) id DB91084D40; Sat, 24 Aug 2019 22:11:21 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 627CE84D35 for ; Sat, 24 Aug 2019 22:11:21 +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 xgySgvbZO11x for ; Sat, 24 Aug 2019 22:11:21 +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 EE8C684CD3 for ; Sat, 24 Aug 2019 22:11:20 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id EC1CFFBF4; Sat, 24 Aug 2019 22:11:20 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1566684680246860" MIME-Version: 1.0 Date: Sat, 24 Aug 2019 22:11:20 +0000 From: "Alexander Nasonov" Subject: CVS commit: pkgsrc/doc To: pkgsrc-changes@NetBSD.org Reply-To: alnsn@netbsd.org X-Mailer: log_accum Message-Id: <20190824221120.EC1CFFBF4@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. --_----------=_1566684680246860 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: alnsn Date: Sat Aug 24 22:11:20 UTC 2019 Modified Files: pkgsrc/doc: CHANGES-2019 Log Message: Added math/yices2. To generate a diff of this commit: cvs rdiff -u -r1.3612 -r1.3613 pkgsrc/doc/CHANGES-2019 Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1566684680246860 Content-Disposition: inline Content-Length: 717 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/doc/CHANGES-2019 diff -u pkgsrc/doc/CHANGES-2019:1.3612 pkgsrc/doc/CHANGES-2019:1.3613 --- pkgsrc/doc/CHANGES-2019:1.3612 Sat Aug 24 15:57:29 2019 +++ pkgsrc/doc/CHANGES-2019 Sat Aug 24 22:11:20 2019 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2019,v 1.3612 2019/08/24 15:57:29 ng0 Exp $ +$NetBSD: CHANGES-2019,v 1.3613 2019/08/24 22:11:20 alnsn Exp $ Changes to the packages collection and infrastructure in 2019: @@ -5911,3 +5911,4 @@ Changes to the packages collection and i Updated security/ocaml-ssl to 0.5.9 [jaapb 2019-08-24] Updated www/ocsigen to 2.15.0 [jaapb 2019-08-24] Added security/doas version 6.1 [ng0 2019-08-24] + Added math/yices2 version 2.6.1 [alnsn 2019-08-24] --_----------=_1566684680246860--