Package: libz3-dev Version: 4.13.3-1 Severity: normal The current package doesn't ship the z3 cmake modules, which are required when building cmake projects that depend on z3.
When building 4.13.4 from source it correctly installs $prefix/lib/cmake/z3/Z3Config.cmake and related files. Thanks -- System Information: Debian Release: trixie/sid APT prefers unstable APT policy: (900, 'unstable'), (800, 'experimental'), (500, 'unstable-debug') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.12.13-amd64 (SMP w/16 CPU threads; PREEMPT) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=en_DK.UTF-8, LC_CTYPE=en_DK.UTF-8 (charmap=UTF-8), LANGUAGE=en_US:en Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages libz3-dev:amd64 depends on: ii libz3-4 4.13.3-1 libz3-dev:amd64 recommends no packages. libz3-dev:amd64 suggests no packages.
