[packages/spin] - up to 6.2.6

baggins baggins at pld-linux.org
Thu Feb 20 22:22:08 CET 2014


commit 29319104e2646a42f0104997d7944727abe7644b
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Thu Feb 20 22:21:58 2014 +0100

    - up to 6.2.6

 spin.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/spin.spec b/spin.spec
index 6c79105..691a35b 100644
--- a/spin.spec
+++ b/spin.spec
@@ -1,13 +1,13 @@
 Summary:	On-the-fly, LTL model checking with SPIN
 Summary(pl.UTF-8):	Sprawdzanie modeli LTL w locie przy użyciu SPIN
 Name:		spin
-Version:	6.2.3
+Version:	6.2.6
 %define		_ver	%(echo %{version} | tr -d .)
 Release:	1
 License:	Spin Public license
 Group:		Development/Tools
 Source0:	http://spinroot.com/spin/Src/%{name}%{_ver}.tar.gz
-# Source0-md5:	99b8ad8e996f71e852d87f957fda9ae2
+# Source0-md5:	97dc2592de9eb064cb664cc67bce18d1
 Source1:	ispin.desktop
 URL:		http://spinroot.com/spin/whatispin.html
 BuildRequires:	yacc
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/spin.git/commitdiff/29319104e2646a42f0104997d7944727abe7644b



More information about the pld-cvs-commit mailing list