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