Home > Repositories > base > z3 > libz3-devel (i586)
This package contains libraries and header files for developing applications that use z3.
Required by
Provided files
libz3-devel: Development files for z3
This package contains libraries and header files for developing applications that use z3.
| Name: | libz3-devel |
| Release: | 4.16.0-1mamba |
| Architecture: | i586 |
| Group: | Development/Libraries |
| Size: | 123.76 kB |
| Upstream URL: | https://github.com/Z3Prover |
| Source RPM: | z3 |
| Brothers | Provides | Obsoletes | Requires | Recommends |
|---|---|---|---|---|
| libz3 z3 z3-debug | cmake-filesystem(x86-32) libz3-devel = 0:4.16.0-1mamba libz3-devel(x86-32) = 0:4.16.0-1mamba pkgconfig(z3) = 0:4.16.0.0 | /usr/bin/pkg-config [1] libz3 = 0:4.16.0-1mamba [1] |
