Releases around rocq-prover/rocq V8.8.1 on GitHub

rocq-prover/rocq on GitHub V8.8.1

graphql-middleware on Node.js NPM 1.4.0

bitnami/bitnami-docker-etcd on GitHub 3.3.8-debian-9-r4

slhck/ffmpeg-normalize on GitHub v1.3.6

linkeye/linkeye on GitHub v1.0.0

facebook/proxygen on GitHub v2018.07.09.00

mne-tools/mne-python on GitHub v0.16.2

atlassian/aui on Bitbucket @atlassian/adg-server-iconfont@3.0.0

sameersbn/gitlab on Docker Hub 11.0.3

antvis/G2 on GitHub 3.2.0

@skbkontur/react-ui on Node.js NPM 0.18.13

Qalculate/libqalculate on GitHub v2.6.1

patrikx3/onenote on GitHub 1.4.57-546

bitnami/elasticsearch on Docker Hub 5.6.4-ol-7-r14

svelte on Node.js Yarn 2.9.2

svelte on Node.js NPM 2.9.2

react-native-ui-lib on Node.js Yarn 3.3.147

RainbowMiner/RainbowMiner on GitHub v3.7.3.2

h2oai/h2o-3 on GitHub jenkins-master-4351

stakater/Forecastle on GitHub 0.0.15

bitnami/elasticsearch on Docker Hub 5.6.4-r2 5.6.4-debian-9-r2

Qalculate/qalculate-gtk on GitHub v2.6.1

Qalculate/libqalculate on GitHub v2.6.0a

bitnami/elasticsearch on Docker Hub 5.6.4-debian-8-r66

uglify-js on Node.js Yarn 3.4.4

uglify-js on Node.js NPM 3.4.4

cars10/elasticvue on GitHub v0.1.6

M66B/NetGuard on GitHub 2.203

dochne/google-authenticator on GitHub 2.0.2

GravityBox/GravityBox on GitHub v6.5.1_mm

cars10/elasticvue on GitHub v0.1.5