Package details
Package py3-z3
Version 4.8.9-r0
Description Python bindings for z3
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.13
Repository community
Architecture armv7
Size 93.0KiB
Installed size 616.0KiB
Origin z3
Maintainer Sören Tempel
Build time 2020-09-12 10:30:53
Commit 2468356531be393b9054f08d6a12998f424ac0ae
Merge request 13695
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (0)