Date: Sat, 23 May 2015 10:06:54 +0000 (UTC) From: Johan van Selst <johans@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r387123 - head/math/coq Message-ID: <201505231006.t4NA6sQt057971@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201505231006.t4NA6sQt057971>