Home > Repository > base > libz3-devel (aarch64)
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.0-1mamba
Architettura:aarch64
Gruppo:Development/Libraries
Dimensione:113.71 kB
URL di origine:https://github.com/Z3Prover
RPM sorgente:z3
CollegatiFornisceRende obsoletiRichiede
libz3
z3
z3-debug
cmake-filesystem(aarch-64)
libz3-devel = 0:4.13.0-1mamba
libz3-devel(aarch-64) = 0:4.13.0-1mamba
pkgconfig(z3) = 0:4.13.0.0
/usr/bin/pkg-config [1]
libz3 = 0:4.13.0-1mamba [1]
File forniti