X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=blobdiff_plain;f=coq.spec;h=3c2e76d8c84fa4c13e3af8299f9b7e25128b8fa2;hp=ed0021a74af239d410f3c49a6cb3154f308de992;hb=0e56eeb;hpb=83437006a79c2edf5f50d392497a4a618a1334eb diff --git a/coq.spec b/coq.spec index ed0021a..3c2e76d 100644 --- a/coq.spec +++ b/coq.spec @@ -14,7 +14,7 @@ Summary: The Coq Proof Assistant Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu Name: coq Version: 8.4pl6 -Release: 1 +Release: 2 License: LGPL v2.1 Group: Applications/Math Source0: http://coq.inria.fr/distrib/V%{version}/files/%{name}-%{version}.tar.gz