commit 02bfb0da6f4ff9a07bb298d9bbf6b50140f4588c
Author: Jan Rękorajski <[email protected]>
Date: Sat Nov 20 22:36:44 2021 +0100
rebuild with separate debuginfo build-ids
Release 3 (by relup.sh)
coq.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index 60c1ab9..5830fcc 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: 2
+Release: 3
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/02bfb0da6f4ff9a07bb298d9bbf6b50140f4588c
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
