Date: Sat, 15 Nov 2014 09:25:58 +0000 (UTC) From: Thomas Zander <riggs@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r372586 - head/devel/spin Message-ID: <201411150925.sAF9PwYJ099715@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: riggs Date: Sat Nov 15 09:25:57 2014 New Revision: 372586 URL: https://svnweb.freebsd.org/changeset/ports/372586 QAT: https://qat.redports.org/buildarchive/r372586/ Log: Update to upstream version 6.4.2 Maintainer change from ports@ to Anton Törnqvist (antont@inbox.lv) PR: 194704 Submitted by: antont@inbox.lv (new maintainer) Modified: head/devel/spin/Makefile head/devel/spin/distinfo head/devel/spin/pkg-descr Modified: head/devel/spin/Makefile ============================================================================== --- head/devel/spin/Makefile Sat Nov 15 08:59:40 2014 (r372585) +++ head/devel/spin/Makefile Sat Nov 15 09:25:57 2014 (r372586) @@ -2,12 +2,12 @@ # $FreeBSD$ PORTNAME= spin -PORTVERSION= 6.3.2 +PORTVERSION= 6.4.2 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ DISTNAME= spin${PORTVERSION:S/.//g} -MAINTAINER= ports@FreeBSD.org +MAINTAINER= antont@inbox.lv COMMENT= On-the-fly verification system for asynchronous concurrent systems OPTIONS_DEFINE= ISPIN DOCS @@ -17,10 +17,10 @@ ISPIN_DESC= Install xspin and TCL/Tk dep .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MISPIN} -USES= shebangfix tk +USES= shebangfix tk SHEBANG_FILES= ../iSpin/ispin.tcl tk_OLD_CMD= /bin/sh -tk_CMD= ${WISH} -f +tk_CMD= ${WISH} -f PLIST_SUB+= ISPIN="" .else PLIST_SUB+= ISPIN="@comment " Modified: head/devel/spin/distinfo ============================================================================== --- head/devel/spin/distinfo Sat Nov 15 08:59:40 2014 (r372585) +++ head/devel/spin/distinfo Sat Nov 15 09:25:57 2014 (r372586) @@ -1,2 +1,2 @@ -SHA256 (spin/spin632.tar.gz) = be2c002e85299af82304e1162d822cb50d75391f511450f58629656e6bd89ad2 -SIZE (spin/spin632.tar.gz) = 557006 +SHA256 (spin/spin642.tar.gz) = d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5 +SIZE (spin/spin642.tar.gz) = 571071 Modified: head/devel/spin/pkg-descr ============================================================================== --- head/devel/spin/pkg-descr Sat Nov 15 08:59:40 2014 (r372585) +++ head/devel/spin/pkg-descr Sat Nov 15 09:25:57 2014 (r372586) @@ -7,3 +7,4 @@ including all correctness requirements e time temporal logic. Spin uses a high level language to specify systems descriptions, called PROMELA (PROcess MEta LAnguage). +WWW: http://spinroot.com
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201411150925.sAF9PwYJ099715>