| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: lib64z3_4 | Distribution: OpenMandriva Lx |
| Version: 4.12.1 | Vendor: OpenMandriva |
| Release: 1 | Build date: Wed Mar 15 20:29:12 2023 |
| Group: System/Libraries | Build host: altra-2.openmandriva.org |
| Size: 13526585 | Source RPM: z3-4.12.1-1.src.rpm |
| Packager: angrypenguin <angrypenguinpoland@gmail.com> | |
| Summary: Library for the Z3 Theorem Prover | |
Library for the Z3 Theorem Prover
MIT
/usr/lib64/libz3.so.4.12 /usr/lib64/libz3.so.4.12.1.0
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Apr 11 23:12:23 2024