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:
c10c241
)
- rel 1
auto/th/coq-8_3pl1-1
author
Jan Rękorajski
<baggins@pld-linux.org>
Fri, 8 Apr 2011 19:44:29 +0000
(19:44 +0000)
committer
cvs2git
<feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000
(12:13 +0000)
Changed files:
coq.spec -> 1.24
coq.spec
patch
|
blob
|
blame
|
history
diff --git
a/coq.spec
b/coq.spec
index 5d9fcec8849b7c70d133018fca38d7e0291f4da7..493eb3770c108cc4446468bc60400f921e4bfb98 100644
(file)
--- a/
coq.spec
+++ b/
coq.spec
@@
-9,7
+9,7
@@
Summary: The Coq Proof Assistant
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.3pl1
-Release:
0.
1
+Release: 1
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
This page took
0.067665 seconds
and
4
git commands to generate.