Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

lib64z3-devel-5.0.0-1 RPM for riscv64

From OpenMandriva Cooker for riscv64 / main / release

Name: lib64z3-devel Distribution: OpenMandriva Lx
Version: 5.0.0 Vendor: OpenMandriva
Release: 1 Build date: Fri Aug 21 22:44:26 2026
Group: Development/C Build host: ryzen9
Size: 0 Source RPM: z3-5.0.0-1.src.rpm
Summary: Development files for the Z3 Theorem Prover
 
Development files for the Z3 Theorem Prover

Provides

Requires

License

MIT

Files

/usr/include/z3++.h
/usr/include/z3.h
/usr/include/z3_algebraic.h
/usr/include/z3_api.h
/usr/include/z3_ast_containers.h
/usr/include/z3_fixedpoint.h
/usr/include/z3_fpa.h
/usr/include/z3_macros.h
/usr/include/z3_optimization.h
/usr/include/z3_polynomial.h
/usr/include/z3_rcf.h
/usr/include/z3_spacer.h
/usr/include/z3_v1.h
/usr/include/z3_version.h
/usr/lib64/cmake/z3
/usr/lib64/cmake/z3/Z3Config.cmake
/usr/lib64/cmake/z3/Z3ConfigVersion.cmake
/usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake
/usr/lib64/cmake/z3/Z3Targets.cmake
/usr/lib64/libz3.so
/usr/lib64/pkgconfig/z3.pc

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Aug 23 22:00:39 2026