NetBSD Problem Report #50398

From www@NetBSD.org  Mon Nov  2 21:14:18 2015
Return-Path: <www@NetBSD.org>
Received: from mail.netbsd.org (mail.netbsd.org [149.20.53.66])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(Client CN "mail.netbsd.org", Issuer "Postmaster NetBSD.org" (verified OK))
	by mollari.NetBSD.org (Postfix) with ESMTPS id A1CCBA64EF
	for <gnats-bugs@gnats.NetBSD.org>; Mon,  2 Nov 2015 21:14:18 +0000 (UTC)
Message-Id: <20151102211417.7AB10A6562@mollari.NetBSD.org>
Date: Mon,  2 Nov 2015 21:14:17 +0000 (UTC)
From: kamelderouiche@yahoo.com
Reply-To: kamelderouiche@yahoo.com
To: gnats-bugs@NetBSD.org
Subject: Update new version devel/spin-6.4.4
X-Send-Pr-Version: www-1.0

>Number:         50398
>Category:       pkg
>Synopsis:       Update new version devel/spin-6.4.4
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    agc
>State:          closed
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Nov 02 21:15:00 +0000 2015
>Closed-Date:    Sun Dec 10 14:09:39 +0000 2017
>Last-Modified:  Sun Dec 10 14:09:39 +0000 2017
>Originator:     Derouiche
>Release:        NetBSD 7.0
>Organization:
Algerian IT Security Group
>Environment:
NetBSD Dabiq.lan 7.0 NetBSD 7.0 i386
>Description:
update devel/spin

>How-To-Repeat:
n/a
>Fix:
diff -ruN Makefile.orig Makefile
--- Makefile.orig	2015-11-02 21:44:17.000000000 +0100
+++ Makefile	2015-11-02 22:08:50.000000000 +0100
@@ -1,7 +1,7 @@
-# $NetBSD: Makefile,v 1.4 2015/04/18 20:41:10 joerg Exp $
+# $NetBSD$

-DISTNAME=	spin525
-PKGNAME=	spin-5.2.5
+DISTNAME=	spin644
+PKGNAME=	spin-6.4.4
 CATEGORIES=	devel
 MASTER_SITES=	http://spinroot.com/spin/Src/

@@ -10,12 +10,13 @@
 COMMENT=	Formal correctness prover
 LICENSE=	spin-license

+WRKSRC=	${WRKDIR}/Spin/Src6.4.4
+
 # yacc output used without dependency
 MAKE_JOBS_SAFE=	no

 INSTALLATION_DIRS=	bin ${PKGMANDIR}/man1

-WRKSRC=		${WRKDIR}/Spin/Src5.2.5
 USE_TOOLS+=	yacc
 MAKE_FILE=	makefile
 BUILD_TARGET=	spin

diff -ruN PLIST.orig PLIST
--- PLIST.orig	2015-11-02 21:44:22.000000000 +0100
+++ PLIST	2015-11-02 22:09:38.000000000 +0100
@@ -1,3 +1,3 @@
-@comment $NetBSD: PLIST,v 1.1.1.1 2010/10/24 18:54:12 agc Exp $
+@comment $NetBSD$
 bin/spin
-${PKGMANDIR}/man1/spin.1
+man/man1/spin.1

diff -ruN distinfo.orig distinfo
--- distinfo.orig	2015-11-02 21:44:27.000000000 +0100
+++ distinfo	2015-11-02 22:04:28.000000000 +0100
@@ -1,5 +1,6 @@
 $NetBSD: distinfo,v 1.1.1.1 2010/10/24 18:54:12 agc Exp $

-SHA1 (spin525.tar.gz) = 274649628c0c8ae3414b863c27a1b8d98a8e9921
-RMD160 (spin525.tar.gz) = 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f
-Size (spin525.tar.gz) = 413406 bytes
+SHA1 (spin644.tar.gz) = e58b8d9e20f7e2498749cf69e73ddcd99c45b011
+RMD160 (spin644.tar.gz) = 14ed5d4c67d8384ca83d33f2b66efb61a848edc8
+SHA512 (spin644.tar.gz) = cd16613e6bde57dd968a126b9159e28a44ad5698dd20d9b2b542c6be9b79cbfbbc0b6b3c5dfcf3aac11dfa244ad95583fe914899dde3cf685bc6e1fdcd058cea
+Size (spin644.tar.gz) = 517496 bytes



>Release-Note:

>Audit-Trail:

Responsible-Changed-From-To: pkg-manager->agc
Responsible-Changed-By: ryoon@NetBSD.org
Responsible-Changed-When: Tue, 03 Nov 2015 05:52:01 +0000
Responsible-Changed-Why:
Over to MAINTAINER.


State-Changed-From-To: open->closed
State-Changed-By: adam@NetBSD.org
State-Changed-When: Sun, 10 Dec 2017 14:09:39 +0000
State-Changed-Why:
The package has been updated.


>Unformatted:

Home	PR Database Search