--- math/coq/Makefile	(revision 386711)
+++ math/coq/Makefile	(working copy)
@@ -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/ \
--- math/coq/distinfo	(revision 386711)
+++ math/coq/distinfo	(working copy)
@@ -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
--- math/coq/pkg-plist	(revision 386711)
+++ math/coq/pkg-plist	(working copy)
@@ -45,6 +45,7 @@ 
 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
@@ -970,4 +971,5 @@ 
 share/emacs/site-lisp/coq-inferior.el
 share/emacs/site-lisp/coqdoc.sty
 %%DATADIR%%/coq.png
+%%PORTDOCS%%%%DOCSDIR%%/FAQ-CoqIde
 @dir lib/coq/user-contrib