[packages/spin] - updated to 6.2.3

baggins baggins at pld-linux.org
Thu Feb 21 12:46:43 CET 2013


commit 848c03f8f6d31e25fa47ec8355d5f8df611199b2
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Thu Feb 21 12:46:36 2013 +0100

    - updated to 6.2.3

 spin.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/spin.spec b/spin.spec
index 086e9d1..6c79105 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.1.0
+Version:	6.2.3
 %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:	89c0d322c3a5aded1fda9b0d30327d19
+# Source0-md5:	99b8ad8e996f71e852d87f957fda9ae2
 Source1:	ispin.desktop
 URL:		http://spinroot.com/spin/whatispin.html
 BuildRequires:	yacc
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/spin.git/commitdiff/848c03f8f6d31e25fa47ec8355d5f8df611199b2



More information about the pld-cvs-commit mailing list