Package details
Package z3-dev
Version 4.14.1-r0
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture s390x
Size 96.4KiB
Installed size 564.8KiB
Origin z3
Maintainer Sören Tempel
Build time 2025-03-16 13:07:36
Commit 5f4dd3619183e031136d63adf8b202cf2c6cbd43
Merge request 81404
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)