X-Git-Url: http://git.pld-linux.org/?a=blobdiff_plain;f=coq.spec;h=a8b512ad02fdc9d0f336534bae1489ee2e4817c1;hb=refs%2Ftags%2Fauto%2Fth%2Fcoq-8.4pl6-3;hp=ed0021a74af239d410f3c49a6cb3154f308de992;hpb=83437006a79c2edf5f50d392497a4a618a1334eb;p=packages%2Fcoq.git

diff --git a/coq.spec b/coq.spec
index ed0021a..a8b512a 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:	3
 License:	LGPL v2.1
 Group:		Applications/Math
 Source0:	http://coq.inria.fr/distrib/V%{version}/files/%{name}-%{version}.tar.gz