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

lib64z3-devel-4.13.3-3 RPM for aarch64

From OpenMandriva Cooker for aarch64 / main / release

Name: lib64z3-devel Distribution: OpenMandriva Lx
Version: 4.13.3 Vendor: OpenMandriva
Release: 3 Build date: Fri Dec 6 15:14:06 2024
Group: Development/C Build host: altra-6.openmandriva.org
Size: 576995 Source RPM: z3-4.13.3-3.src.rpm
Packager: bero <bero@lindev.ch>
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, Sat Jan 11 23:23:10 2025