From repocop@altlinux.org Fri Mar  6 02:25:16 MSK 2026
From: "Repocop Q. A. Robot" <repocop@altlinux.org>

Subject: repocop NMU

- NMU (by repocop). See http://www.altlinux.org/Tools/Repocop
- applied repocop fixes:
  * arch-dep-package-consists-of-usr-share for libz3-devel-docs

--- a/z3.spec	2026-03-06 02:25:16.896676596 +0300
+++ b/z3.spec	2026-03-06 02:25:16.896676596 +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