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

lib64z3-devel-4.12.1-1 RPM for aarch64

From OpenMandriva 5.0 for aarch64 / main / release

Name: lib64z3-devel Distribution: OpenMandriva Lx
Version: 4.12.1 Vendor: OpenMandriva
Release: 1 Build date: Wed Mar 15 20:29:12 2023
Group: Development/C Build host: altra-2.openmandriva.org
Size: 549190 Source RPM: z3-4.12.1-1.src.rpm
Packager: angrypenguin <angrypenguinpoland@gmail.com>
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, Tue Oct 8 23:25:21 2024