Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: java-z3 | Distribution: Mageia |
Version: 4.13.0 | Vendor: Mageia.Org |
Release: 2.mga10 | Build date: Tue Mar 4 17:16:41 2025 |
Group: Sciences/Mathematics | Build host: localhost |
Size: 458686 | Source RPM: z3-4.13.0-2.mga10.src.rpm |
Packager: wally <wally> | |
Url: https://github.com/Z3Prover/z3 | |
Summary: Java interface to z3 |
Java interface to z3.
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/f5 /usr/lib/.build-id/f5/55927480a4011f1fa3f7f04857c61e0a9ddc27 /usr/lib/java/com.microsoft.z3.jar /usr/lib/z3 /usr/lib/z3/com.microsoft.z3.jar /usr/lib/z3/libz3java.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Mar 17 03:57:18 2025