Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
formulae.brew.sh : dafny : 3.11.0
Verification-aware programming language
Registry -
JSON
purl: pkg:brew/[email protected]
Published:
Indexed:
Related tag:
v3.11.0
Dependencies
- dotnet@6 *
- openjdk@17 *