From repocop@altlinux.org Sun Mar  8 02:18:21 MSK 2026
From: "Repocop Q. A. Robot" <repocop@altlinux.org>

Subject: repocop fix for arch-dep-package-consists-of-usr-share

(message skipped)
--- a/z3.spec	2026-03-08 02:18:21.619704116 +0300
+++ b/z3.spec	2026-03-08 02:18:21.624704119 +0300
@@ -49,6 +49,7 @@
 %package -n lib%name-devel-docs
 Summary: Documentation for %name
 Group: Development/Documentation
+BuildArch: noarch
 
 %description -n lib%name-devel-docs
 Z3 is a high-performance theorem prover being developed at Microsoft