svn commit: r372586 - head/devel/spin
Thomas Zander
riggs at FreeBSD.org
Sat Nov 15 09:25:59 UTC 2014
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 at inbox.lv)
PR: 194704
Submitted by: antont at 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 at FreeBSD.org
+MAINTAINER= antont at 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
More information about the svn-ports-all
mailing list