Date: Mon, 22 Dec 2014 10:45:20 +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: r375227 - head/math/coq Message-ID: <201412221045.sBMAjKjq062366@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@student.tue.nl> WWW: http://coq.inria.fr/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201412221045.sBMAjKjq062366>