Current collected state Current
Observed since 20 Oct, 22:58 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
Back to packageRELEASE DETAILS
4.12.6
Maventools.aqua:z3-turnkey
A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
PublishedUnknown
Direct dependencies—
Transitive dependenciesNot calculated
Downloads & popularity
Awaiting observationsNo metric observations yet
Download counts and popularity will appear here as the collector receives them.
Declared dependencies 0
Native requirements— direct targetsNot calculated transitive count
No declared dependencies in this collected response
Declarations describe requirements; they are not a resolved dependency graph.
Distribution files
11 collectedDistribution 1
Source distribution · 0.13 KB
Distribution 2
Source distribution · 0.13 KB
Distribution 3
Source distribution · 0.06 KB
Distribution 4
Source distribution · 0.13 KB
Distribution 5
Source distribution · 0.06 KB
Distribution 6
Source distribution · 6,618.08 KB
Distribution 7
Source distribution · 0.13 KB
Distribution 8
Source distribution · 0.06 KB
Distribution 9
Source distribution · 0.13 KB
Distribution 10
Source distribution · 0.06 KB
Distribution 11
Source distribution · 497.43 KB
Metadata history
Meaningful changesRecord identity
package_version:8b0eceff06ab169defd4e6629fa9f636fc190e1dbceef87d79ab951c5fddf2a2