Received: by mail.netbsd.org (Postfix, from userid 605) id 6FAA084EDA; Tue, 21 Jun 2022 02:20:06 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id A607684ED5 for ; Tue, 21 Jun 2022 02:20:05 +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 9EugA6tOxUgw for ; Tue, 21 Jun 2022 02:20:05 +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 2AE4584D3F for ; Tue, 21 Jun 2022 02:20:05 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 7A064FB1A; Tue, 21 Jun 2022 02:22:00 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1655778120120240" MIME-Version: 1.0 Date: Tue, 21 Jun 2022 02:22:00 +0000 From: "David A. Holland" Subject: CVS commit: pkgsrc/doc To: pkgsrc-changes@NetBSD.org Reply-To: dholland@netbsd.org X-Mailer: log_accum Message-Id: <20220621022200.7A064FB1A@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1655778120120240 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: dholland Date: Tue Jun 21 02:22:00 UTC 2022 Modified Files: pkgsrc/doc: CHANGES-2022 TODO Log Message: CHANGES for lang/coq To generate a diff of this commit: cvs rdiff -u -r1.3103 -r1.3104 pkgsrc/doc/CHANGES-2022 cvs rdiff -u -r1.21953 -r1.21954 pkgsrc/doc/TODO Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1655778120120240 Content-Disposition: inline Content-Length: 1458 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/doc/CHANGES-2022 diff -u pkgsrc/doc/CHANGES-2022:1.3103 pkgsrc/doc/CHANGES-2022:1.3104 --- pkgsrc/doc/CHANGES-2022:1.3103 Mon Jun 20 22:31:56 2022 +++ pkgsrc/doc/CHANGES-2022 Tue Jun 21 02:21:59 2022 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2022,v 1.3103 2022/06/20 22:31:56 gutteridge Exp $ +$NetBSD: CHANGES-2022,v 1.3104 2022/06/21 02:21:59 dholland Exp $ Changes to the packages collection and infrastructure in 2022: @@ -4672,6 +4672,7 @@ Changes to the packages collection and i Updated devel/rebar3 to 3.19.0 [nikita 2022-06-19] mk/bsd.pkg.mk: started freeze for pkgsrc-2022Q2 branch [gdt 2022-06-20] Updated audio/fasttracker2 to 1.55 [fox 2022-06-20] + Updated lang/coq to 8.15.2 [dholland 2022-06-20] Updated net/erlang-idna to 6.1.1nb5 [nikita 2022-06-20] Added devel/ocaml-hxd version 0.3.2 [jaapb 2022-06-20] Updated sysutils/broot to 1.13.3 [pin 2022-06-20] Index: pkgsrc/doc/TODO diff -u pkgsrc/doc/TODO:1.21953 pkgsrc/doc/TODO:1.21954 --- pkgsrc/doc/TODO:1.21953 Sun Jun 19 07:05:36 2022 +++ pkgsrc/doc/TODO Tue Jun 21 02:22:00 2022 @@ -1,4 +1,4 @@ -$NetBSD: TODO,v 1.21953 2022/06/19 07:05:36 wiz Exp $ +$NetBSD: TODO,v 1.21954 2022/06/21 02:22:00 dholland Exp $ Suggested new packages ====================== @@ -558,7 +558,6 @@ For possible Perl packages updates, see o consul-1.9.5 o cook-2.31 o coordgenlibs-2.0.3 - o coq-8.13.2 o coreutils-9.1 o couchdb-3.1.1 o courier-0.77.0 --_----------=_1655778120120240--