Package details
Package py3-z3
Version 4.13.4-r1
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture aarch64
Size 99.9KiB
Installed size 621.7KiB
Origin z3
Maintainer Sören Tempel
Build time 2025-01-25 09:46:06
Commit 634998aa4c0b221074ecc45994a68ca9b56a323a
Merge request 78969
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)