Package details
Package py3-z3
Version 4.15.2-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture armhf
Size 100.6KiB
Installed size 625.4KiB
Origin z3
Maintainer Sören Tempel
Build time 2025-07-20 19:10:30
Commit ebd374144fdef15a382287c39f05e7732f103274
Merge request 87511
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)