X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=blobdiff_plain;f=coq.spec;h=417c2efcc67824945da93de92700bf2f0a71972c;hp=8f17a8ece61dc0d964bec92c4adc4d971d28bbf3;hb=229b1af51ffb5ea5505d9c98f0b7fefd8ca82da3;hpb=38cacf124fb3e6c6129a33ff086d354e99dc6d4f

diff --git a/coq.spec b/coq.spec
index 8f17a8e..417c2ef 100644
--- a/coq.spec
+++ b/coq.spec
@@ -11,7 +11,6 @@ Source0:	ftp://ftp.inria.fr/INRIA/coq/V%{version}/%{name}-%{version}.tar.gz
 # ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/patch-coq-8.0pl2-ocaml-3.09
 Patch0:		%{name}-ocaml-3.09.patch
 Patch1:		%{name}-lablgtk26.patch
-Icon:		petit-coq.gif
 URL:		http://coq.inria.fr/
 BuildRequires:	emacs
 BuildRequires:	ocaml >= 3.09.0