[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