commit 1993b991f3f5a80b24e7144dd64beb40cedf9f90
Author: Jan Rękorajski <bagg...@pld-linux.org>
Date: Mon Jun 5 14:35:54 2017 +0200
- rebuild with ocaml 4.04.1
- release 3 (by relup.sh)
coq.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index 3c2e76d..a8b512a 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: 2
+Release: 3
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/1993b991f3f5a80b24e7144dd64beb40cedf9f90
_______________________________________________
pld-cvs-commit mailing list
pld-cvs-commit@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
