| 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 <[email protected]> | |
| 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, Wed Jan 8 23:16:07 2025