Releases around dafny-lang/dafny v2.0.0 on GitHub

Maybe you can find something interesting in this list
github
cygwin/cygwin on GitHub newlib-snapshot-20170922
github
picolibc/picolibc on GitHub newlib-snapshot-20170922
sourceforge
gnucash on SourceForge gnucash-docs/2.6.18/gnucash-docs-2.6.18.tar.gz
github
mapsme/omim on GitHub beta-1010
github
Azure/azure-sdk-for-python on GitHub azure-keyvault_0.3.7

Don't miss a new release

NewReleases is sending notifications on new releases.