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