| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: lib64z3 | Distribution: OpenMandriva Lx |
| Version: 4.13.3 | Vendor: OpenMandriva |
| Release: 3 | Build date: Fri Dec 6 15:14:06 2024 |
| Group: System/Libraries | Build host: altra-6.openmandriva.org |
| Size: 13976409 | Source RPM: z3-4.13.3-3.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Summary: Library for the Z3 Theorem Prover | |
Library for the Z3 Theorem Prover
MIT
/usr/lib64/libz3.so.4.13 /usr/lib64/libz3.so.4.13.3.0
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Nov 11 22:14:28 2025