From 0da5e59a65614e5bfccda701bcd0abaf374d7af7 Mon Sep 17 00:00:00 2001 From: Pawel Pekala Date: Fri, 19 Dec 2014 20:25:11 +0000 Subject: [PATCH] Update to version 6.4.3 PR: 196071 Submitted by: maintainer --- devel/spin/Makefile | 2 +- devel/spin/distinfo | 4 ++-- devel/spin/pkg-plist | 1 + 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/devel/spin/Makefile b/devel/spin/Makefile index 657683c00bb6..b5e0334f2998 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= spin -PORTVERSION= 6.4.2 +PORTVERSION= 6.4.3 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ DISTNAME= spin${PORTVERSION:S/.//g} diff --git a/devel/spin/distinfo b/devel/spin/distinfo index adecf7bbaf38..91d9af0563f8 100644 --- a/devel/spin/distinfo +++ b/devel/spin/distinfo @@ -1,2 +1,2 @@ -SHA256 (spin/spin642.tar.gz) = d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5 -SIZE (spin/spin642.tar.gz) = 571071 +SHA256 (spin/spin643.tar.gz) = c1d28254332a797c1788edf6bd6f42ddb95b46011d74763581941aee76878d32 +SIZE (spin/spin643.tar.gz) = 572960 diff --git a/devel/spin/pkg-plist b/devel/spin/pkg-plist index 1bf6de9b9b5f..817d64caab13 100644 --- a/devel/spin/pkg-plist +++ b/devel/spin/pkg-plist @@ -91,6 +91,7 @@ man/man1/spin.1.gz %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/salesman2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/train.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/zune.pml +%%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/_spin_nvr.tmp %%PORTDOCS%%%%DOCSDIR%%/Examples/README_tests.txt %%PORTDOCS%%%%DOCSDIR%%/Examples/abp.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/calculator.pml