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 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
