Package details
Package z3-dev
Version 4.8.9-r0
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch v3.13
Repository community
Architecture armv7
Size 85.7KiB
Installed size 560.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 (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)