Package details
Package py3-z3
Version 4.12.1-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.18
Repository community
Architecture ppc64le
Size 97.4KiB
Installed size 652.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2023-01-21 00:07:30
Commit 014ad24b393e82e7284439cf8c140ebe252dcccc
Merge request 43431
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)