commit 0d680645e260b9f12eb8ea6b136d9deb98c8c5dd
Author: Jan Rękorajski <[email protected]>
Date: Sat Jan 22 09:53:26 2022 +0100
Release 5 (by relup.sh)
coq.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index 5219986..83a7e87 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: 4
+Release: 5
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/0d680645e260b9f12eb8ea6b136d9deb98c8c5dd
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
