Package details
Package py3-z3
Version 4.14.1-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture loongarch64
Size 100.4KiB
Installed size 624.5KiB
Origin z3
Maintainer Sören Tempel
Build time 2025-03-16 13:07:36
Commit 5f4dd3619183e031136d63adf8b202cf2c6cbd43
Merge request 81404
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)