Home > Repository > base > libz3-devel (i586)
Risorse:
File sorgenti | Modifiche
Problemi | Segnala un problema
Scarica

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.4-1mamba
Architettura:i586
Gruppo:Development/Libraries
Dimensione:115,17 kB
URL di origine:https://github.com/Z3Prover
RPM sorgente:z3
CollegatiFornisceRende obsoletiRichiedeRaccomanda
libz3
z3
z3-debug
cmake-filesystem(x86-32)
libz3-devel = 0:4.13.4-1mamba
libz3-devel(x86-32) = 0:4.13.4-1mamba
pkgconfig(z3) = 0:4.13.4.0
/usr/bin/pkg-config [1]
libz3 = 0:4.13.4-1mamba [1]
File forniti