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

dafny-lang/dafny on GitHub v2.0.0

cygwin/cygwin on GitHub newlib-snapshot-20170922

picolibc/picolibc on GitHub newlib-snapshot-20170922

com.amazonaws:aws-java-sdk-ses on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-sns on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-core on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-s3 on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-route53 on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-cloudfront on Java Maven 1.11.202

com.amazonaws:jmespath-java on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-bom on Java Maven 1.11.202

com.amazonaws:aws-java-sdk-sts on Java Maven 1.11.202

gnucash on SourceForge gnucash-docs/2.6.18/gnucash-docs-2.6.18.tar.gz

mapsme/omim on GitHub beta-1010

pipenv on Python PyPI 7.6.1

Azure/azure-sdk-for-python on GitHub azure-keyvault_0.3.7

ThreatConnect-Inc/tcex on GitHub 0.5.22

SheetJS/sheetjs on GitHub v0.11.4

nfs-ganesha/nfs-ganesha on GitHub V2.6-dev.11

linuxserver/docker-duplicati on GitHub 37

linuxserver/docker-ombi on GitHub 53

linuxserver/docker-sonarr on GitHub 89

linuxserver/docker-radarr on GitHub 61

linuxserver/docker-jackett on GitHub 82

linuxserver/docker-unifi-controller on GitHub 90

linuxserver/unifi on Docker Hub 90

linuxserver/docker-plex on GitHub 89

linuxserver/docker-mariadb on GitHub 81

linuxserver/docker-resilio-sync on GitHub 63

jitsi/jitsi-videobridge on GitHub jitsi-meet_2476

Azure/azure-sdk-for-python on GitHub azure-mgmt-network_1.5.0rc3

DataDog/dd-trace-java on GitHub v0.2.4