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

coq/coq on GitHub V8.10+alpha

acpica/acpica on GitHub R09_27_18

AdoptOpenJDK/openjdk8-binaries on GitHub jdk8u-2018-09-27-14-13

gitlabhq/omnibus-gitlab on GitHub 11.3.1+ee.0

illuminate/mail on PHP Packagist v5.7.8 v5.7.7

NLog.Targets.GraylogHttp on .NET NuGet 0.2.3

gitlabhq/omnibus-gitlab on GitHub 11.3.1+ce.0

dfm/emcee on GitHub v3.0rc2

gitlabhq/omnibus-gitlab on GitHub 11.2.4+ee.0

GNOME/gnome-tweaks on GitHub 3.30.1

GNOME/gnome-tweaks on GNOME GitLab 3.30.1

gitlabhq/omnibus-gitlab on GitHub 11.2.4+ce.0 11.1.7+ee.0

@sanity/core on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/components on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/desk-tool on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/base on Node.js NPM 0.135.0-realtime-block-editor.237

gitlabhq/omnibus-gitlab on GitHub 11.1.7+ce.0

@sanity/default-layout on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/client on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/default-login on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/vision on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/image-url on Node.js NPM 0.135.0-realtime-block-editor.237

@sanity/cli on Node.js NPM 0.135.0-realtime-block-editor.237

nrfconnect/sdk-zephyr on GitHub v1.13.99-ncs1-rc1

SmartPack/SmartPack-Kernel-Manager on GitHub v5.2

nrfconnect/sdk-nrf on GitHub v0.1.0-rc1

intel/compute-runtime on GitHub 18.38.11535

dimagi/commcare-hq on GitHub 2018-09-27_14.19-softlayer-setup_release

nuxt-edge on Node.js NPM 2.0.0-25634277.1fef39d

horejsek/python-fastjsonschema on GitHub v2.4