X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=blobdiff_plain;f=coq.spec;h=67477289ed4637ac02c29f7a3dc595fcdf5cedca;hp=784876a5791ae96c69ff6ac26571a40140ce2c0f;hb=521adcea7d88e23f3377c9f559468c3251d52f3f;hpb=a47b241417b3c578f399f7fd5400ad9f90e3bec8

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