Received: by mail.netbsd.org (Postfix, from userid 605) id E312084EA6; Wed, 10 Jan 2018 16:42:48 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 3FD5384D73 for ; Wed, 10 Jan 2018 16:27:06 +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 cD15jAGBgkXc for ; Wed, 10 Jan 2018 16:27: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 C717084D70 for ; Wed, 10 Jan 2018 16:27:05 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id C53C9FBDE; Wed, 10 Jan 2018 16:27:05 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_151560162597840" MIME-Version: 1.0 Date: Wed, 10 Jan 2018 16:27:05 +0000 From: "Jaap Boender" Subject: CVS commit: pkgsrc/doc To: pkgsrc-changes@NetBSD.org Reply-To: jaapb@netbsd.org X-Mailer: log_accum Message-Id: <20180110162705.C53C9FBDE@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. --_----------=_151560162597840 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: jaapb Date: Wed Jan 10 16:27:05 UTC 2018 Modified Files: pkgsrc/doc: CHANGES-2018 Log Message: doc: Updated lang/coq to 8.7.1 To generate a diff of this commit: cvs rdiff -u -r1.162 -r1.163 pkgsrc/doc/CHANGES-2018 Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_151560162597840 Content-Disposition: inline Content-Length: 705 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/doc/CHANGES-2018 diff -u pkgsrc/doc/CHANGES-2018:1.162 pkgsrc/doc/CHANGES-2018:1.163 --- pkgsrc/doc/CHANGES-2018:1.162 Wed Jan 10 16:24:25 2018 +++ pkgsrc/doc/CHANGES-2018 Wed Jan 10 16:27:05 2018 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2018,v 1.162 2018/01/10 16:24:25 jaapb Exp $ +$NetBSD: CHANGES-2018,v 1.163 2018/01/10 16:27:05 jaapb Exp $ Changes to the packages collection and infrastructure in 2018: @@ -232,3 +232,4 @@ Changes to the packages collection and i Updated devel/pcre-ocaml to 7.3.4nb1 [jaapb 2018-01-10] Updated lang/camlp4 to 4.06+1 [jaapb 2018-01-10] Updated lang/camlp5 to 7.03 [jaapb 2018-01-10] + Updated lang/coq to 8.7.1 [jaapb 2018-01-10] --_----------=_151560162597840--