Releases around boogie-org/boogie v2.5.10 on GitHub

boogie-org/boogie on GitHub v2.5.10

vmware/differential-datalog on GitHub v0.14.3

katahiromz/RisohEditor on GitHub 5.3.3

FormidableLabs/victory on GitHub v34.1.2

AdoptOpenJDK/openjdk8-binaries on GitHub jdk8u-2020-03-03-01-09

chromium/chromium on GitHub 80.0.3987.135

Microsoft.Azure.WebJobs.Script.ExtensionsMetadataGenerator on .NET NuGet 1.1.4

facebook/facebook-java-business-sdk on GitHub v6.0.1

kubernetes-sigs/cluster-api-provider-aws on GitHub v0.5.0-rc.0

googleapis/python-cloudbuild on GitHub v1.0.0

bitnami/mysql on Docker Hub 8.0.19-debian-10-r39

bitnami/memcached on Docker Hub 1.5.22-debian-10-r28

mamoe/mirai on GitHub 0.24.1

qmk/qmk_firmware on GitHub 0.8.13

chef/chef on Docker Hub 16.0.106

tryretool/backend on Docker Hub 2.54.11

facebook/hhvm on GitHub nightly-2020.03.03

flutter/plugins on GitHub path_provider-v1.6.5

microsoft-cognitiveservices-speech-sdk on Node.js NPM 1.10.0

opt-einsum on Python PyPI 3.2.0

google/honggfuzz on GitHub 2.1

nats-io/k8s on GitHub v0.2.0

env-var on Node.js NPM 6.0.3

evanshortiss/env-var on GitHub 6.0.3

banzaicloud/kafka on GitHub 2.4.1-rc0

googleapis/python-iam on GitHub v0.3.0

react-hook-form on Node.js Yarn 4.10.2-beta.1

jupyter-widgets/ipywidgets on GitHub @jupyter-widgets/output@3.0.0 @jupyter-widgets/notebook-manager@5.0.0 @jupyter-widgets/jupyterlab-manager@2.0.0 @jupyter-widgets/html-manager@0.19.0 @jupyter-widgets/example-web4@5.0.0