Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: libz3_4 | Distribution: Mageia |
Version: 4.13.0 | Vendor: Mageia.Org |
Release: 2.mga10 | Build date: Wed Mar 5 00:47:42 2025 |
Group: Sciences/Mathematics | Build host: localhost |
Size: 24700898 | Source RPM: z3-4.13.0-2.mga10.src.rpm |
Packager: wally <wally> | |
Url: https://github.com/Z3Prover/z3 | |
Summary: Library for applications that use z3 functionality |
Library for applications that use z3 functionality.
MIT
* Tue Mar 04 2025 wally <wally> 4.13.0-2.mga10 + Revision: 2160477 - rebuild for python3.13 * Tue Aug 27 2024 neoclust <neoclust> 4.13.0-1.mga10 + Revision: 2091579 - New version 4.13.0 * Sat Dec 30 2023 daviddavid <daviddavid> 4.12.4-1.mga10 + Revision: 2024482 - new version: 4.12.4 - rebuild for py3.12
/usr/lib/.build-id /usr/lib/.build-id/21 /usr/lib/.build-id/21/e3a3aaf8b3e3c129161b6460b395ec0e4d774d /usr/lib/libz3.so.4.13 /usr/lib/libz3.so.4.13.0.0 /usr/share/licenses/libz3_4 /usr/share/licenses/libz3_4/LICENSE.txt
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Mar 16 04:29:21 2025