From 229b1af51ffb5ea5505d9c98f0b7fefd8ca82da3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Arkadiusz=20Mi=C5=9Bkiewicz?= <arekm@maven.pl>
Date: Sat, 21 Jan 2006 00:01:16 +0000
Subject: [PATCH 1/1] - kill Icon: field (support for these is obsolete says
 jbj)

Changed files:
    coq.spec -> 1.9
---
 coq.spec | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.43.0