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

lib64z3_4-4.8.8-1 RPM for x86_64

From OpenMandriva Cooker for x86_64 / main / release

Name: lib64z3_4 Distribution: OpenMandriva Lx
Version: 4.8.8 Vendor: OpenMandriva
Release: 1 Build date: Sat Mar 26 00:33:13 2022
Group: System/Libraries Build host: c64-2.openmandriva.org
Size: 12671928 Source RPM: z3-4.8.8-1.src.rpm
Packager: bero_massbuild <bero+massbuild@lindev.ch>
Summary: Library for the Z3 Theorem Prover
Library for the Z3 Theorem Prover

Provides

Requires

License

MIT

Files

/usr/lib64/libz3.so.4.8
/usr/lib64/libz3.so.4.8.8.0


Generated by rpm2html 1.8.1

Fabrice Bellet, Fri May 27 23:02:57 2022