svn commit: r470767 - head/math/ltl2ba

[Wen Heping]

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 at 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