svn commit: r316937 - head/math/coq

[Johan van Selst]

Author: johans
Date: Tue Apr 30 14:50:26 2013
New Revision: 316937
URL: http://svnweb.freebsd.org/changeset/ports/316937

Log:
  Update coq to 8.4.2

Modified:
  head/math/coq/Makefile
  head/math/coq/distinfo

Modified: head/math/coq/Makefile
==============================================================================
--- head/math/coq/Makefile	Tue Apr 30 14:43:25 2013	(r316936)
+++ head/math/coq/Makefile	Tue Apr 30 14:50:26 2013	(r316937)
@@ -2,8 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	coq
-PORTVERSION=	8.4.1
-PORTREVISION=	1
+PORTVERSION=	8.4.2
 PORTEPOCH=	1
 CATEGORIES=	math
 MASTER_SITES=	http://coq.inria.fr/distrib/V${COQVERSION}/files/ \

Modified: head/math/coq/distinfo
==============================================================================
--- head/math/coq/distinfo	Tue Apr 30 14:43:25 2013	(r316936)
+++ head/math/coq/distinfo	Tue Apr 30 14:50:26 2013	(r316937)
@@ -1,2 +1,2 @@
-SHA256 (coq-8.4pl1.tar.gz) = 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80
-SIZE (coq-8.4pl1.tar.gz) = 4139808
+SHA256 (coq-8.4pl2.tar.gz) = fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
+SIZE (coq-8.4pl2.tar.gz) = 4145112