svn commit: r375227 - head/math/coq
Johan van Selst
johans at FreeBSD.org
Mon Dec 22 10:45:21 UTC 2014
Author: johans
Date: Mon Dec 22 10:45:20 2014
New Revision: 375227
URL: https://svnweb.freebsd.org/changeset/ports/375227
QAT: https://qat.redports.org/buildarchive/r375227/
Log:
Update to Coq 8.4pl5
Modified:
head/math/coq/Makefile
head/math/coq/distinfo
head/math/coq/pkg-descr
Modified: head/math/coq/Makefile
==============================================================================
--- head/math/coq/Makefile Mon Dec 22 10:43:26 2014 (r375226)
+++ head/math/coq/Makefile Mon Dec 22 10:45:20 2014 (r375227)
@@ -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/ \
Modified: head/math/coq/distinfo
==============================================================================
--- head/math/coq/distinfo Mon Dec 22 10:43:26 2014 (r375226)
+++ head/math/coq/distinfo Mon Dec 22 10:45:20 2014 (r375227)
@@ -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
Modified: head/math/coq/pkg-descr
==============================================================================
--- head/math/coq/pkg-descr Mon Dec 22 10:43:26 2014 (r375226)
+++ head/math/coq/pkg-descr Mon Dec 22 10:45:20 2014 (r375227)
@@ -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 at student.tue.nl>
WWW: http://coq.inria.fr/
More information about the svn-ports-head
mailing list