Home > Repository > devel-makedist > libz3-devel (i586)
This package contains libraries and header files for developing applications that use z3.
File forniti
libz3-devel: Development files for z3
This package contains libraries and header files for developing applications that use z3.
| Nome: | libz3-devel |
| Versione: | 4.13.2-1mamba |
| Architettura: | i586 |
| Gruppo: | Development/Libraries |
| Dimensione: | 114.58 kB |
| URL di origine: | https://github.com/Z3Prover |
| RPM sorgente: | z3 |
| Collegati | Fornisce | Rende obsoleti | Richiede |
|---|---|---|---|
| libz3 z3 z3-debug | cmake-filesystem(x86-32) libz3-devel = 0:4.13.2-1mamba libz3-devel(x86-32) = 0:4.13.2-1mamba pkgconfig(z3) = 0:4.13.2.0 | /usr/bin/pkg-config [1] libz3 = 0:4.13.2-1mamba [1] |
