[packages/coq] - release 2 (by relup.sh)
baggins
baggins at pld-linux.org
Mon Mar 21 15:32:41 CET 2016
commit 0e56eeba5b014349b78f5e146823c1d9e049c4e1
Author: Jan Rękorajski <baggins at pld-linux.org>
Date: Mon Mar 21 15:32:37 2016 +0100
- release 2 (by relup.sh)
coq.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index ed0021a..3c2e76d 100644
--- a/coq.spec
+++ b/coq.spec
@@ -14,7 +14,7 @@ Summary: The Coq Proof Assistant
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.4pl6
-Release: 1
+Release: 2
License: LGPL v2.1
Group: Applications/Math
Source0: http://coq.inria.fr/distrib/V%{version}/files/%{name}-%{version}.tar.gz
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/0e56eeba5b014349b78f5e146823c1d9e049c4e1
More information about the pld-cvs-commit
mailing list