SPECS: uppaal.spec - 4.0.7 - fixed license

baggins baggins at pld-linux.org
Tue Feb 17 11:19:43 CET 2009


Author: baggins                      Date: Tue Feb 17 10:19:43 2009 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- 4.0.7
- fixed license

---- Files affected:
SPECS:
   uppaal.spec (1.7 -> 1.8) 

---- Diffs:

================================================================
Index: SPECS/uppaal.spec
diff -u SPECS/uppaal.spec:1.7 SPECS/uppaal.spec:1.8
--- SPECS/uppaal.spec:1.7	Mon Feb 12 23:09:18 2007
+++ SPECS/uppaal.spec	Tue Feb 17 11:19:38 2009
@@ -2,13 +2,13 @@
 Summary:	Environment for modeling, simulation and verification of real-time systems
 Summary(pl.UTF-8):	Środowisko do modelowania, symulacji i weryfikacji systemów czasu rzeczywistego
 Name:		uppaal
-Version:	4.0.2
-Release:	0.1
-License:	free for non-profit (non-distributable)
+Version:	4.0.7
+Release:	1
+License:	free for academia and private use (non-distributable)
 Group:		Development/Tools
 # http://www.docs.uu.se/docs/rtmv/uppaal/download.html
-Source0:	%{name}-%{version}.zip
-# NoSource0-md5:	6698f31403a6543d850e43d4a85025f4
+Source0:	%{name}-%{version}-aca.zip
+# NoSource0-md5:	20efdc9456c5934270ef6301bb1b88ea
 NoSource:	0
 URL:		http://www.uppaal.com/
 BuildRequires:	unzip
@@ -57,7 +57,7 @@
 
 %files
 %defattr(644,root,root,755)
-%doc readme.txt README
+%doc readme.txt
 %attr(755,root,root) %{_bindir}/*
 %dir %{_libdir}/%{name}
 %dir %{_libdir}/%{name}/bin-Linux
@@ -75,6 +75,10 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.8  2009/02/17 10:19:38  baggins
+- 4.0.7
+- fixed license
+
 Revision 1.7  2007/02/12 22:09:18  glen
 - tabs in preamble
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/uppaal.spec?r1=1.7&r2=1.8&f=u



More information about the pld-cvs-commit mailing list