Package details
Package z3-dev
Version 4.15.3-r0
Description Theorem prover from Microsoft Research (development files)
Project https://github.com/Z3Prover/z3
License MIT
Branch edge
Repository community
Architecture x86_64
Size 97.0KiB
Installed size 567.1KiB
Origin z3
Maintainer Sören Tempel
Build time 2025-08-30 21:08:16
Commit 8a2613373a2772d884912050598116889eff0bee
Merge request N/A
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)