diff options
author | johans <johans@FreeBSD.org> | 2014-12-22 18:45:20 +0800 |
---|---|---|
committer | johans <johans@FreeBSD.org> | 2014-12-22 18:45:20 +0800 |
commit | efc06ba4878d949f3ba858f4a65e8611010165ce (patch) | |
tree | 6c6301f6e778e60aa10fefdb854e4c72f418b3a6 /math | |
parent | c15d936b34314bdde70c91242a24aac3117da653 (diff) | |
download | freebsd-ports-gnome-efc06ba4878d949f3ba858f4a65e8611010165ce.tar.gz freebsd-ports-gnome-efc06ba4878d949f3ba858f4a65e8611010165ce.tar.zst freebsd-ports-gnome-efc06ba4878d949f3ba858f4a65e8611010165ce.zip |
Update to Coq 8.4pl5
Diffstat (limited to 'math')
-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/ |