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:
650aa0b
)
- rebuild with ocaml 4.02
auto/th/coq-8.4pl3-2
author
Jan Rękorajski
<baggins@pld-linux.org>
Sun, 16 Nov 2014 08:14:24 +0000
(09:14 +0100)
committer
Jan Rękorajski
<baggins@pld-linux.org>
Sun, 16 Nov 2014 08:14:24 +0000
(09:14 +0100)
- release 2 (by relup.sh)
coq.spec
patch
|
blob
|
blame
|
history
diff --git
a/coq.spec
b/coq.spec
index 8d9284a3f4ccaf15d1a8bb3d28e608b4b55742a4..13884c36a35e9402b87481d2482db3f2b4a64192 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.4pl3
-Release:
1
+Release:
2
License: GPL
Group: Applications/Math
Vendor: INRIA Rocquencourt
This page took
0.23218 seconds
and
4
git commands to generate.