Releases around coq/coq V8.12+alpha on GitHub

coq/coq on GitHub V8.12+alpha

minio/minio-go on GitHub v6.0.43

balena-io/balena-cli on GitHub v11.18.3

bitnami/moodle on Docker Hub 3.8.0-r1 3.8.0-debian-9-r1

DannyBen/bashly on GitHub v0.2.1

bitnami/redmine on Docker Hub 4.0.5-r10 4.0.5-debian-9-r10

PrismLibrary/Prism on GitHub v7.2.0.1422

nalexn/ViewInspector on GitHub 0.0.6

safe-global/safe-eth-py on GitHub v1.7.3

io.micronaut.configuration:micronaut-aws-common on Java Maven 1.3.6

chromium/chromium on GitHub 80.0.3973.2

snyk on Node.js NPM 1.251.0

micronaut-projects/micronaut-aws on GitHub v1.3.6

vercel/vercel on GitHub now@16.5.3-canary.6 @now/routing-utils@1.3.4-canary.2 @now/build-utils@1.0.1-canary.4

markbates/pkger on GitHub v0.12.8

loomio/loomio on GitHub v2019-11-22

blackducksoftware/hub on GitHub v2019.10.1

markbates/pkger on GitHub v0.12.7

open-wc/api-viewer-element on GitHub v0.2.7

vim/vim on GitHub v8.1.2328

markbates/pkger on GitHub v0.12.6

lbryio/lbry-desktop on GitHub v0.37.2-rc.6

verdaccio on Node.js NPM 4.3.5

gardener/dashboard on GitHub 1.35.2

cdgriffith/Box on GitHub 3.4.6

salesforce/policy_sentry on GitHub 0.5.4

home-assistant/frontend on GitHub 20191119.5

zammad/zammad on Docker Hub 3.2.0-160