projects
/
packages
/
coq.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a47b241
)
- go ahead and edit it ;)
author
Jan Rękorajski
<baggins@pld-linux.org>
Tue, 14 Oct 2003 20:14:07 +0000
(20:14 +0000)
committer
cvs2git
<feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000
(12:13 +0000)
Changed files:
coq.spec -> 1.3
coq.spec
patch
|
blob
|
blame
|
history
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
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.060704 seconds
and
4
git commands to generate.