svn commit: r387123 - head/math/coq

[Johan van Selst]

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 at 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