Releases around dafny-lang/dafny v3.7.2 on GitHub

Maybe you can find something interesting in this list
github
facebook/hhvm on GitHub nightly-2022.07.14
github
helium/miner on GitHub testnet_validator0.1.185
quay
stackrox-io/main on Quay 3.71.0-rc.4-3-gf138912611-amd64 3.71.0-rc.4-3-gf138912611 3.71.x-58-gaa13be5275

Don't miss a new release

NewReleases is sending notifications on new releases.