Summary: The Edinburgh Concurrency Workbench
-Summary(pl): Edinburgh - ¶rodowisko do badania wspó³bie¿no¶ci
+Summary(pl.UTF-8): Edinburgh - środowisko do badania współbieżności
Name: CWB
Version: 7.1
Release: 1
particular, the CWB allows for various equivalence, preorder and model
checking using a variety of different process semantics.
-%description -l pl
-Edinburgh Concurrency Workbench (CWB) to automatyczne narzêdzie
-obs³uguj±ce manipulowanie i analizê systemów wspó³bie¿nych. W
-szczególno¶ci pozwala na ró¿ne równowa¿no¶ci, wstêpne porz±dkowanie i
-sprawdzanie modeli przy u¿yciu wielu ró¿nych semantyk procesów.
+%description -l pl.UTF-8
+Edinburgh Concurrency Workbench (CWB) to automatyczne narzędzie
+obsługujące manipulowanie i analizę systemów współbieżnych. W
+szczególności pozwala na różne równoważności, wstępne porządkowanie i
+sprawdzanie modeli przy użyciu wielu różnych semantyk procesów.
%prep
%setup -q -n %{name}%{version}