- go ahead and edit it ;)
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 14 Oct 2003 20:14:07 +0000 (20:14 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coq.spec -> 1.3

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
 Name:          coq
 Version:       7.4
 Release:       1
-Summary:       The Coq Proof Assistant
 License:       GPL
 Group:         Applications/Math
 Vendor:                INRIA Rocquencourt
 License:       GPL
 Group:         Applications/Math
 Vendor:                INRIA Rocquencourt
This page took 0.208368 seconds and 4 git commands to generate.