From owner-svn-ports-head@FreeBSD.ORG Sat Nov 15 09:25:59 2014 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 76622875; Sat, 15 Nov 2014 09:25:59 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 49192F2B; Sat, 15 Nov 2014 09:25:59 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.9/8.14.9) with ESMTP id sAF9Px90099718; Sat, 15 Nov 2014 09:25:59 GMT (envelope-from riggs@FreeBSD.org) Received: (from riggs@localhost) by svn.freebsd.org (8.14.9/8.14.9/Submit) id sAF9PwYJ099715; Sat, 15 Nov 2014 09:25:58 GMT (envelope-from riggs@FreeBSD.org) Message-Id: <201411150925.sAF9PwYJ099715@svn.freebsd.org> X-Authentication-Warning: svn.freebsd.org: riggs set sender to riggs@FreeBSD.org using -f From: Thomas Zander Date: Sat, 15 Nov 2014 09:25:58 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r372586 - head/devel/spin X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 15 Nov 2014 09:25:59 -0000 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 .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