- go ahead and edit it ;)

[packages/coq.git] / coq.spec

diff --git a/coq.spec b/coq.spec
index 784876a5791ae96c69ff6ac26571a40140ce2c0f..67477289ed4637ac02c29f7a3dc595fcdf5cedca 100644 (file)
--- 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