it_IT
Home > Packages > Repositories > base > z3 > libz3-devel (aarch64)
Resources:
Source files | Changes
Issues | Add a new issue
Download

libz3-devel: Development files for z3

This package contains libraries and header files for developing applications that use z3.
Name:libz3-devel
Release: 5.4.1-1mamba
Architecture:aarch64
Group:Development/Libraries
Size:108.58 kB
Upstream URL:https://github.com/Z3Prover
Source RPM:z3
BrothersProvidesObsoletesRequiresRecommends
libz3
z3
z3-debug
cmake-filesystem(aarch-64)
libz3-devel = 0:5.4.1-1mamba
libz3-devel(aarch-64) = 0:5.4.1-1mamba
pkgconfig(z3) = 0:5.4.1.0
/usr/bin/pkg-config [1]
libz3 = 0:5.4.1-1mamba [1]
Required by Build required by Provided files