Current collected state Current
Observed since 20 Oct, 22:58 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
PACKAGE EXPLORERView in registry
tools.aqua:z3-turnkey
MavenA self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.
Versions collected21
Direct dependencies—From release 4.10.1
Last observed20 Oct, 22:58 UTC
Downloads & popularity
Awaiting observationsNo metric observations yet
Download counts and popularity will appear here as the collector receives them.
Versions 21
Collected releases| Version | Published | Direct dependencies | Open version |
|---|---|---|---|
| 4.10.1 | Unknown | — | |
| 4.8.16 | Unknown | — | |
| 4.11.2 | Unknown | — | |
| 4.12.2.1 | Unknown | — | |
| 4.12.0 | Unknown | — | |
| 4.12.1 | Unknown | — | |
| 4.8.17 | Unknown | — | |
| 4.13.0 | Unknown | — | |
| 4.12.3 | Unknown | — | |
| 4.14.0 | Unknown | — | |
| 4.14.1 | Unknown | — | |
| 4.10.2 | Unknown | — | |
| 4.12.6 | Unknown | — | |
| 4.13.4 | Unknown | — | |
| 4.12.2 | Unknown | — | |
| 4.12.5 | Unknown | — | |
| 4.11.0 | Unknown | — | |
| 4.13.0.1 | Unknown | — | |
| 4.10.0 | Unknown | — | |
| 4.12.4 | Unknown | — |
Package advisories
0No matching advisories collected
This describes our collected data; it is not a security assessment.
Metadata history
Meaningful changesRecord identity
package:fa01e9b7cbf46dbc0fd7c0675f9298b9145715eea360999d9558884b4b61a1dc