From: Jan Rękorajski <baggins@pld-linux.org>
Date: Tue, 14 Oct 2003 20:14:07 +0000 (+0000)
Subject: - go ahead and edit it ;)
X-Git-Tag: auto/ac/coq-8_0pl2-2~8
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=521adcea7d88e23f3377c9f559468c3251d52f3f;ds=sidebyside

- go ahead and edit it ;)

Changed files:
    coq.spec -> 1.3
---

diff --git a/coq.spec b/coq.spec
index 784876a..6747728 100644
--- a/coq.spec
+++ b/coq.spec
@@ -1,9 +1,7 @@
-# This file has been generated from RH/coq.spec.tpl
-# Do not edit
+Summary:	The Coq Proof Assistant
 Name:		coq
 Version:	7.4
 Release:	1
-Summary:	The Coq Proof Assistant
 License:	GPL
 Group:		Applications/Math
 Vendor:		INRIA Rocquencourt