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