Date: Thu, 24 May 2018 10:48:10 +0000 (UTC) From: Wen Heping <wen@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r470767 - head/math/ltl2ba Message-ID: <201805241048.w4OAmAVm092007@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: wen Date: Thu May 24 10:48:09 2018 New Revision: 470767 URL: https://svnweb.freebsd.org/changeset/ports/470767 Log: - Update to 1.2 Modified: head/math/ltl2ba/Makefile head/math/ltl2ba/distinfo Modified: head/math/ltl2ba/Makefile ============================================================================== --- head/math/ltl2ba/Makefile Thu May 24 10:34:25 2018 (r470766) +++ head/math/ltl2ba/Makefile Thu May 24 10:48:09 2018 (r470767) @@ -2,9 +2,9 @@ # $FreeBSD$ PORTNAME= ltl2ba -PORTVERSION= 1.1 +PORTVERSION= 1.2 CATEGORIES= math -MASTER_SITES= http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LOCAL/bf +MASTER_SITES= http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ MAINTAINER= ports@FreeBSD.org COMMENT= Fast translation from LTL formulae to Buechi automata Modified: head/math/ltl2ba/distinfo ============================================================================== --- head/math/ltl2ba/distinfo Thu May 24 10:34:25 2018 (r470766) +++ head/math/ltl2ba/distinfo Thu May 24 10:48:09 2018 (r470767) @@ -1,2 +1,3 @@ -SHA256 (ltl2ba-1.1.tar.gz) = a66bf05bc3fd030f19fd0114623d263870d864793b1b0a2ccf6ab6a40e7be09b -SIZE (ltl2ba-1.1.tar.gz) = 29629 +TIMESTAMP = 1527187553 +SHA256 (ltl2ba-1.2.tar.gz) = 9dfe16c2362e953982407eabf773fff49d69b137b13bd5360b241fb4cf2bfb6f +SIZE (ltl2ba-1.2.tar.gz) = 33026
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201805241048.w4OAmAVm092007>