commit 3809f5dfc68c51f316b94599708c8078b7c78fe8
Author: Jan Rękorajski <[email protected]>
Date: Mon Mar 29 08:48:08 2021 +0200
- filter out autodeps on private interfaces
- rel 2
coq.spec | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/coq.spec b/coq.spec
index d42a39f..60c1ab9 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: 1
+Release: 2
License: LGPL v2.1
Group: Applications/Math
Source0:
https://github.com/coq/coq/archive/V%{version}/%{name}-%{version}.tar.gz
@@ -48,6 +48,9 @@ Obsoletes: coq-emacs < 8.13.1
ExclusiveArch: %{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+# Exclude private ocaml interfaces
+%define _noautoreq
ocamlx?\\\((Configwin_types|Interface|Richpp|Serialize|Xml_p(arser|rinter)|Xmlprotocol)\\\)
+
%description
Coq is a proof assistant which:
- allows to handle calculus assertions,
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/3809f5dfc68c51f316b94599708c8078b7c78fe8
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
