X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=blobdiff_plain;f=coq.spec;h=13884c36a35e9402b87481d2482db3f2b4a64192;hp=8d9284a3f4ccaf15d1a8bb3d28e608b4b55742a4;hb=f6f27c4891b0e490e0cb46b0d5d0e65c674acbe1;hpb=650aa0b620c8ca80f44133d4dd3a7c9b51407325

diff --git a/coq.spec b/coq.spec
index 8d9284a..13884c3 100644
--- a/coq.spec
+++ b/coq.spec
@@ -9,7 +9,7 @@ Summary:	The Coq Proof Assistant
 Summary(pl.UTF-8):	Coq - narzędzie pomagające w udowadnianiu
 Name:		coq
 Version:	8.4pl3
-Release:	1
+Release:	2
 License:	GPL
 Group:		Applications/Math
 Vendor:		INRIA Rocquencourt