Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-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: 2737112 | Source RPM: z3-4.13.0-2.mga10.src.rpm |
Packager: wally <wally> | |
Url: https://github.com/Z3Prover/z3 | |
Summary: Ocaml interface to z3 |
Ocaml 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/84 /usr/lib/.build-id/84/cd2b4f81903828a5b50ef2ffdd119a0d012e92 /usr/lib/.build-id/ba /usr/lib/.build-id/ba/740ff7a56306d0df239f45ea466c6b7c1835e3 /usr/lib/ocaml/Z3 /usr/lib/ocaml/Z3/META /usr/lib/ocaml/Z3/z3.cmi /usr/lib/ocaml/Z3/z3enums.cmi /usr/lib/ocaml/Z3/z3ml.cma /usr/lib/ocaml/Z3/z3ml.cmxs /usr/lib/ocaml/Z3/z3native.cmi /usr/lib/ocaml/stublibs/dllz3ml.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Mar 23 04:39:18 2025