commit 848c03f8f6d31e25fa47ec8355d5f8df611199b2
Author: Jan Rękorajski <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
