packages: spin/spin.spec - 6.1.0

baggins baggins at pld-linux.org
Thu Feb 9 14:31:14 CET 2012


Author: baggins                      Date: Thu Feb  9 13:31:14 2012 GMT
Module: packages                      Tag: HEAD
---- Log message:
- 6.1.0

---- Files affected:
packages/spin:
   spin.spec (1.14 -> 1.15) 

---- Diffs:

================================================================
Index: packages/spin/spin.spec
diff -u packages/spin/spin.spec:1.14 packages/spin/spin.spec:1.15
--- packages/spin/spin.spec:1.14	Wed Jul  6 22:31:19 2011
+++ packages/spin/spin.spec	Thu Feb  9 14:31:09 2012
@@ -2,13 +2,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.0.1
+Version:	6.1.0
 %define		_ver	%(echo %{version} | tr -d .)
-Release:	2
+Release:	1
 License:	Spin Public license
 Group:		Development/Tools
 Source0:	http://spinroot.com/spin/Src/%{name}%{_ver}.tar.gz
-# Source0-md5:	064d2e4d35ccaa13a8a2c8e427074ae3
+# Source0-md5:	89c0d322c3a5aded1fda9b0d30327d19
 Source1:	ispin.desktop
 URL:		http://spinroot.com/spin/whatispin.html
 BuildRequires:	yacc
@@ -92,6 +92,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.15  2012/02/09 13:31:09  baggins
+- 6.1.0
+
 Revision 1.14  2011/07/06 20:31:19  baggins
 - rel 2
 - added desktop file for ispin
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/spin/spin.spec?r1=1.14&r2=1.15&f=u



More information about the pld-cvs-commit mailing list