diff options
| author | Johan van Selst <johans@FreeBSD.org> | 2015-05-23 10:06:54 +0000 |
|---|---|---|
| committer | Johan van Selst <johans@FreeBSD.org> | 2015-05-23 10:06:54 +0000 |
| commit | 377f42277a50a03d3a054b0efeb6175e21e85079 (patch) | |
| tree | da6558e112f0dc759852dc88ad19c91fd3c7d91f /math/coq | |
| parent | af5918fa8c99dd6c988e4b89a5c99a0999d869cd (diff) | |
Notes
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 2 | ||||
| -rw-r--r-- | math/coq/distinfo | 4 | ||||
| -rw-r--r-- | math/coq/pkg-plist | 1 |
3 files changed, 4 insertions, 3 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 1135af1093a3..d09ab0820774 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -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/ \ diff --git a/math/coq/distinfo b/math/coq/distinfo index 335b4f13f3f6..82522fe94078 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -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 diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index aed57e1924b5..1f80a78279a1 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -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 |