From owner-svn-ports-all@FreeBSD.ORG  Sat May 23 10:06:55 2015
Return-Path: <owner-svn-ports-all@FreeBSD.ORG>
Delivered-To: svn-ports-all@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id B849295;
 Sat, 23 May 2015 10:06:55 +0000 (UTC)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id A63A21C35;
 Sat, 23 May 2015 10:06:55 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id t4NA6tUr057974;
 Sat, 23 May 2015 10:06:55 GMT (envelope-from johans@FreeBSD.org)
Received: (from johans@localhost)
 by svn.freebsd.org (8.14.9/8.14.9/Submit) id t4NA6sQt057971;
 Sat, 23 May 2015 10:06:54 GMT (envelope-from johans@FreeBSD.org)
Message-Id: <201505231006.t4NA6sQt057971@svn.freebsd.org>
X-Authentication-Warning: svn.freebsd.org: johans set sender to
 johans@FreeBSD.org using -f
From: Johan van Selst <johans@FreeBSD.org>
Date: Sat, 23 May 2015 10:06:54 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r387123 - head/math/coq
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-all@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: SVN commit messages for the ports tree <svn-ports-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-all/>
List-Post: <mailto:svn-ports-all@freebsd.org>
List-Help: <mailto:svn-ports-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-all>,
 <mailto:svn-ports-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 23 May 2015 10:06:55 -0000

Author: johans
Date: Sat May 23 10:06:54 2015
New Revision: 387123
URL: https://svnweb.freebsd.org/changeset/ports/387123

Log:
  Update Coq to 8.4pl6
  
  PR:		200409
  Submitted by:	yuri@rawbw.com

Modified:
  head/math/coq/Makefile
  head/math/coq/distinfo
  head/math/coq/pkg-plist

Modified: head/math/coq/Makefile
==============================================================================
--- head/math/coq/Makefile	Sat May 23 09:59:22 2015	(r387122)
+++ head/math/coq/Makefile	Sat May 23 10:06:54 2015	(r387123)
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	coq
-PORTVERSION=	8.4.5
+PORTVERSION=	8.4.6
 PORTEPOCH=	2
 CATEGORIES=	math
 MASTER_SITES=	http://coq.inria.fr/distrib/V${COQVERSION}/files/ \

Modified: head/math/coq/distinfo
==============================================================================
--- head/math/coq/distinfo	Sat May 23 09:59:22 2015	(r387122)
+++ head/math/coq/distinfo	Sat May 23 10:06:54 2015	(r387123)
@@ -1,2 +1,2 @@
-SHA256 (coq-8.4pl5.tar.gz) = 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245
-SIZE (coq-8.4pl5.tar.gz) = 4070062
+SHA256 (coq-8.4pl6.tar.gz) = a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6
+SIZE (coq-8.4pl6.tar.gz) = 4099815

Modified: head/math/coq/pkg-plist
==============================================================================
--- head/math/coq/pkg-plist	Sat May 23 09:59:22 2015	(r387122)
+++ head/math/coq/pkg-plist	Sat May 23 10:06:54 2015	(r387123)
@@ -45,6 +45,7 @@ lib/coq/theories/Logic/Epsilon.vo
 lib/coq/theories/Logic/Eqdep_dec.vo
 lib/coq/theories/Logic/EqdepFacts.vo
 lib/coq/theories/Logic/Eqdep.vo
+lib/coq/theories/Logic/ExtensionalityFacts.vo
 lib/coq/theories/Logic/FunctionalExtensionality.vo
 lib/coq/theories/Logic/Hurkens.vo
 lib/coq/theories/Logic/IndefiniteDescription.vo