packages: smv/smv.spec - rel 1 - license unknown
baggins
baggins at pld-linux.org
Wed Jul 6 14:37:58 CEST 2011
Author: baggins Date: Wed Jul 6 12:37:58 2011 GMT
Module: packages Tag: HEAD
---- Log message:
- rel 1
- license unknown
---- Files affected:
packages/smv:
smv.spec (1.4 -> 1.5)
---- Diffs:
================================================================
Index: packages/smv/smv.spec
diff -u packages/smv/smv.spec:1.4 packages/smv/smv.spec:1.5
--- packages/smv/smv.spec:1.4 Mon Feb 12 23:09:15 2007
+++ packages/smv/smv.spec Wed Jul 6 14:37:53 2011
@@ -3,8 +3,8 @@
Summary(pl.UTF-8): SMV - narzędzie do weryfikacji modeli symbolicznych
Name: smv
Version: 2.5.4.3
-Release: 0.1
-License: No fscking idea :o
+Release: 1
+License: Unknown
Group: Development/Tools
Source0: http://www-2.cs.cmu.edu/~modelcheck/smv/%{name}.r%{version}.tar.gz
# Source0-md5: dd1a7ebcbac935845fc73eb8957386cb
@@ -49,6 +49,10 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.5 2011/07/06 12:37:53 baggins
+- rel 1
+- license unknown
+
Revision 1.4 2007/02/12 22:09:15 glen
- tabs in preamble
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/smv/smv.spec?r1=1.4&r2=1.5&f=u
More information about the pld-cvs-commit
mailing list