[packages/coq] Release 4 (by relup.sh)
baggins
baggins at pld-linux.org
Mon Nov 22 00:14:08 CET 2021
commit 78adac83326e782ab3c0fd7f231f95caadabaeb4
Author: Jan Rękorajski <baggins at pld-linux.org>
Date: Mon Nov 22 00:14:04 2021 +0100
Release 4 (by relup.sh)
coq.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index 5830fcc..5219986 100644
--- a/coq.spec
+++ b/coq.spec
@@ -11,7 +11,7 @@ Summary: The Coq Proof Assistant
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
Version: 8.13.1
-Release: 3
+Release: 4
License: LGPL v2.1
Group: Applications/Math
Source0: https://github.com/coq/coq/archive/V%{version}/%{name}-%{version}.tar.gz
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/78adac83326e782ab3c0fd7f231f95caadabaeb4
More information about the pld-cvs-commit
mailing list