Home > Repositories > base > 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: 4.13.4-1mamba
Architecture:aarch64
Group:Development/Libraries
Size:115,15 kB
Upstream URL:https://github.com/Z3Prover
Source RPM:z3
BrothersProvidesObsoletesRequiresRecommends
libz3
z3
z3-debug
cmake-filesystem(aarch-64)
libz3-devel = 0:4.13.4-1mamba
libz3-devel(aarch-64) = 0:4.13.4-1mamba
pkgconfig(z3) = 0:4.13.4.0
/usr/bin/pkg-config [1]
libz3 = 0:4.13.4-1mamba [1]
Provided files