diff --git a/math/ltl2ba/Makefile b/math/ltl2ba/Makefile
index bad089dff5af..e8e9a4135884 100644
--- a/math/ltl2ba/Makefile
+++ b/math/ltl2ba/Makefile
@@ -1,24 +1,24 @@
 # Created by: b.f. <bf@FreeBSD.org>
 # $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
 
 LICENSE=	GPLv2
 
 ALL_TARGET=	ltl2ba
 CFLAGS+=	-DNXT
 PLIST_FILES=	bin/ltl2ba
 
 post-patch:
 	${REINPLACE_CMD} -e '/^CC=/d' -e '/^CFLAGS=/d' ${WRKSRC}/Makefile
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/ltl2ba ${STAGEDIR}${PREFIX}/bin
 
 .include <bsd.port.mk>
diff --git a/math/ltl2ba/distinfo b/math/ltl2ba/distinfo
index 249400dcc978..0d1a38ee9115 100644
--- a/math/ltl2ba/distinfo
+++ b/math/ltl2ba/distinfo
@@ -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