summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
0e56eeb)
- release 3 (by relup.sh)
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.4pl6
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.4pl6
License: LGPL v2.1
Group: Applications/Math
Source0: http://coq.inria.fr/distrib/V%{version}/files/%{name}-%{version}.tar.gz
License: LGPL v2.1
Group: Applications/Math
Source0: http://coq.inria.fr/distrib/V%{version}/files/%{name}-%{version}.tar.gz