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

dafny-lang/dafny on GitHub v3.4.2

grafana/grafana-oss on Docker Hub 8.5.0-52607pre

grafana/grafana on Docker Hub 8.5.0-52607pre

nuxt3 on Node.js NPM 3.0.0-27424151.dbab979

5afe/safe-client-gateway on GitHub v3.17.1

epamedp/codebase-operator on Docker Hub 2.10.1

JetBrains/JetBrainsRuntime on GitHub jb11_0_14_1-b1751.46

helm/bitnami/external-dns on Artifact Hub 6.1.6

helm/evryfs-oss/dependency-track on Artifact Hub 1.3.2

helm/bitnami/thanos on Artifact Hub 9.0.5

com.vaadin:vaadin-bom on Java Maven 22.0.6

com.vaadin:vaadin on Java Maven 22.0.6

thought-machine/please on GitHub v16.20.0-beta.2

helm/bitnami/metrics-server on Artifact Hub 5.11.2

appbaseio/reactivesearch-api on GitHub 7.58.0.beta.6

helm/bitnami/kube-prometheus on Artifact Hub 6.6.6

uikit on Node.js Yarn 3.11.2-dev.c2430c233

rudderlabs/rudder-sdk-js on GitHub v1.4.3

electron/electron on GitHub v19.0.0-nightly.20220221

metal3-io/cluster-api-provider-metal3 on GitHub v1.1.0

epamedp/codebase-operator on Docker Hub 2.10.0-RC.9

parca-dev/parca on GitHub ui-v0.9.1

@yarnpkg/core on Node.js Yarn 3.2.0

prisma on Node.js NPM 3.10.0-dev.70

prisma on Node.js Yarn 3.10.0-dev.70

ImageMagick/ImageMagick6 on GitHub 6.9.12-41

@prisma/client on Node.js Yarn 3.10.0-dev.70

@prisma/client on Node.js NPM 3.10.0-dev.70

spring-projects/spring-security on GitHub 5.5.5

symfony/cache on PHP Packagist v4.4.38

bitnami/redis-cluster on Docker Hub 5.0.14-debian-10-r133

tablacus/TablacusExplorer on GitHub 22.2.21