it_IT
Home > Repositories > base > z3 > libz3-devel (x86_64)
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.3.3-1mamba
Architecture:x86_64
Group:Development/Libraries
Size:107.98 kB
Upstream URL:https://github.com/Z3Prover
Source RPM:z3
BrothersProvidesObsoletesRequiresRecommends
libz3
z3
z3-debug
cmake-filesystem(x86-64)
libz3-devel = 0:5.3.3-1mamba
libz3-devel(x86-64) = 0:5.3.3-1mamba
pkgconfig(z3) = 0:5.3.3.0
/usr/bin/pkg-config [1]
libz3 = 0:5.3.3-1mamba [1]
Required by Build required by Provided files