From 521adcea7d88e23f3377c9f559468c3251d52f3f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Tue, 14 Oct 2003 20:14:07 +0000
Subject: [PATCH 1/1] - go ahead and edit it ;)

Changed files:
    coq.spec -> 1.3
---
 coq.spec | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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