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