| 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: 5.0.0 | Vendor: OpenMandriva |
| Release: 1 | Build date: Sat Aug 29 21:54:17 2026 |
| Group: System/Libraries | Build host: ryzen9 |
| Size: 0 | Source RPM: z3-5.0.0-1.src.rpm |
| Summary: Library for the Z3 Theorem Prover | |
Library for the Z3 Theorem Prover
MIT
/usr/lib64/libz3.so.5.0 /usr/lib64/libz3.so.5.0.0.0
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 30 22:11:41 2026