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