diff options
| author | Johan van Selst <johans@FreeBSD.org> | 2014-12-22 10:45:20 +0000 |
|---|---|---|
| committer | Johan van Selst <johans@FreeBSD.org> | 2014-12-22 10:45:20 +0000 |
| commit | 35e9303075ba9286d07e1849a12951a9056ecaea (patch) | |
| tree | 6c6301f6e778e60aa10fefdb854e4c72f418b3a6 /math/coq | |
| parent | Fix path in makefile.in rather than moving in post-install target (diff) | |
Update to Coq 8.4pl5
Notes
Notes:
svn path=/head/; revision=375227
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 3 | ||||
| -rw-r--r-- | math/coq/distinfo | 4 | ||||
| -rw-r--r-- | math/coq/pkg-descr | 1 |
3 files changed, 3 insertions, 5 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 51a995513b02..b995bb7b28cb 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= coq -PORTVERSION= 8.4.3 -PORTREVISION= 1 +PORTVERSION= 8.4.5 PORTEPOCH= 1 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ diff --git a/math/coq/distinfo b/math/coq/distinfo index 6bf472a3545e..335b4f13f3f6 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,2 +1,2 @@ -SHA256 (coq-8.4pl3.tar.gz) = 97583d637f981c5554007f4e99ce6420ebc737186b1d021bd71766fd891cfb38 -SIZE (coq-8.4pl3.tar.gz) = 4064579 +SHA256 (coq-8.4pl5.tar.gz) = 35815ab78a58d72799eacaab155427620ab071677882ca6c98d7bfec97d25245 +SIZE (coq-8.4pl5.tar.gz) = 4070062 diff --git a/math/coq/pkg-descr b/math/coq/pkg-descr index a883d5b445d8..34d1a3fbb8ad 100644 --- a/math/coq/pkg-descr +++ b/math/coq/pkg-descr @@ -19,5 +19,4 @@ Version 2.1 (LGPL). CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed. -Author: Rene Ladan <r.c.ladan@student.tue.nl> WWW: http://coq.inria.fr/ |