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:konstraints-core
MavenA library for working with SMT expressions on the JVM
Versions collected1
Direct dependencies—From release 0.3
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 1
Collected releases| Version | Published | Direct dependencies | Open version |
|---|---|---|---|
| 0.3 | Unknown | — |
Package advisories
0No matching advisories collected
This describes our collected data; it is not a security assessment.
Metadata history
Meaningful changesRecord identity
package:e901dff56e5798e14e6f20136a4412406985dd5ca96f85a1cb0a5c5df40bebcd