Releases around HOL-Theorem-Prover/HOL kananaskis-13 on GitHub

HOL-Theorem-Prover/HOL on GitHub kananaskis-13

dd-trace on Node.js NPM 0.15.0-beta.1

gajus/eslint-plugin-jsdoc on GitHub v15.8.2

Jigsaw-Code/outline-apps on GitHub daily-2019-08-20

HypothesisWorks/hypothesis on GitHub hypothesis-python-4.33.0

hypothesis on Python PyPI 4.33.0

code-dot-org/code-dot-org on GitHub v2019-08-19.1

firebase on Node.js Yarn 6.4.0-canary.394ea1b

js-file-download on Node.js NPM 0.4.8

linuxserver/docker-piwigo on GitHub 2.9.5-ls30

linuxserver/piwigo on Docker Hub 2.9.5-ls30 arm64v8-2.9.5-ls30 arm32v7-2.9.5-ls30

@firebase/auth on Node.js NPM 0.11.8-canary.394ea1b

OHIF/Viewers on GitHub @ohif/viewer@0.50.4

linuxserver/piwigo on Docker Hub amd64-2.9.5-ls30

iterative/dvc on GitHub 0.56.0

FormidableLabs/victory on GitHub v32.3.7

sourcegraph/server on Docker Hub 3.7.0

keystonejs/keystone on GitHub @keystone-alpha/keystone@10.3.0

ctdk/goiardi on GitHub 1.0.0-pre1

chromium/chromium on GitHub 77.0.3865.41

react-native-safe-area-context on Node.js Yarn 0.3.0

react-native-safe-area-context on Node.js NPM 0.3.0

stellar/stellar-core on Docker Hub 11.4.0rc1-1012-8d141cdc

th3rdwave/react-native-safe-area-context on GitHub v0.3.0

greenplum-db/gpdb on GitHub 6.0.0-beta.7

@manypkg/cli on Node.js NPM 0.1.0

electron on Node.js NPM 5.0.10

firebase-tools on Node.js Yarn 7.2.4

firebase-tools on Node.js NPM 7.2.4

ajayyy/SponsorBlock on GitHub 1.1.0