Received: from mail.netbsd.org (mail.NetBSD.org [199.233.217.200]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.netbsd.org", Issuer "Postmaster NetBSD.org" (verified OK)) by mollari.NetBSD.org (Postfix) with ESMTPS id C1F4F7AC9C for ; Tue, 29 Dec 2015 06:26:22 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 732E585EF1; Tue, 29 Dec 2015 06:26:22 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 6D87B85EB5 for ; Tue, 29 Dec 2015 06:25:25 +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 q1Q-zHgFCUJy for ; Tue, 29 Dec 2015 06:25:25 +0000 (UTC) Received: from cvs.NetBSD.org (unknown [IPv6:2001:470:a085:999:28c:faff:fe03:5984]) by mail.netbsd.org (Postfix) with ESMTP id CD8D685EAF for ; Tue, 29 Dec 2015 06:25:24 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 20E72FBA5; Tue, 29 Dec 2015 06:22:22 +0000 (UTC) Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" MIME-Version: 1.0 Date: Tue, 29 Dec 2015 06:22:22 +0000 From: "David A. Holland" Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: dholland@netbsd.org X-Mailer: log_accum Message-Id: <20151229062222.20E72FBA5@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk Module Name: pkgsrc Committed By: dholland Date: Tue Dec 29 06:22:22 UTC 2015 Modified Files: pkgsrc/lang/coq: PLIST Log Message: Sort. To generate a diff of this commit: cvs rdiff -u -r1.16 -r1.17 pkgsrc/lang/coq/PLIST Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.