Package details
Package py3-z3
Version 4.15.1-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-06-23 16:55:48
Commit 74541e89c8883cf2df7825a94df9e88e28800036
Merge request 86016
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)