Home > Repository > base > 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.16.0-1mamba |
| Architettura: | i586 |
| Gruppo: | Development/Libraries |
| Dimensione: | 123.76 kB |
| URL di origine: | https://github.com/Z3Prover |
| RPM sorgente: | z3 |
| Collegati | Fornisce | Rende obsoleti | Richiede | Raccomanda |
|---|---|---|---|---|
| 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] |
