pkgsrc-Bugs archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
pkg/50398: Update new version devel/spin-6.4.4
>Number: 50398
>Category: pkg
>Synopsis: Update new version devel/spin-6.4.4
>Confidential: no
>Severity: non-critical
>Priority: medium
>Responsible: pkg-manager
>State: open
>Class: sw-bug
>Submitter-Id: net
>Arrival-Date: Mon Nov 02 21:15:00 +0000 2015
>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
Home |
Main Index |
Thread Index |
Old Index