Releases around coq/coq V8.7.0 on GitHub

coq/coq on GitHub V8.7.0

neo4j/neo4j-browser on GitHub 3.1.0

kernel-team/linux on Debian GitLab debian/4.13.4-2_bpo9+1

react-navigation on Node.js NPM 1.0.0-beta.14

salomvary/soundcleod on GitHub v1.3.1

@stencil/core on Node.js NPM 0.0.6-18

ionic-team/stencil on GitHub v0.0.6-18

GNOME/gnome-shell on GitHub 3.27.1

@stencil/core on Node.js NPM 0.0.6-17

ionic-team/stencil on GitHub v0.0.6-17

GNOME/gnome-shell-extensions on GNOME GitLab 3.27.1

GNOME/gnome-shell on GNOME GitLab 3.27.1

GNOME/mutter on GNOME GitLab 3.27.1

globaleaks/globaleaks-whistleblowing-software on GitHub v2.72.12

org.asciidoctor:asciidoctorj on Java Maven 1.6.0-alpha.6

asciidoctor/asciidoctorj on GitHub v.1.6.0-alpha.6

banzaicloud/kafka on GitHub 1.0.0-rc2

chef/inspec on Docker Hub 1.42.2

jitsi/jitsi-videobridge on GitHub jitsi-meet_2549

factoriotools/factorio-docker on GitHub 0.15.37

Mobian-team/packages/gtk3 on Debian GitLab ubuntu/3.22.24-0ubuntu2

expanse-org/go-expanse on GitHub v1.7.2

rspec-rails on Ruby Gems 3.7.0

vatesfr/xen-orchestra on GitHub xo-cli-v0.10.0

fastlane on Ruby Gems 2.62.0

dependabot/dependabot-core on GitHub v0.24.0

ROCm/rocBLAS on GitHub v0.8.1.0

react-native-navigation on Node.js Yarn 1.1.240

atlassian/aui on Bitbucket 7.0.0-alpha-1

commons-codec:commons-codec on Java Maven 1.11

@stencil/core on Node.js NPM 0.0.6-16

ionic-team/stencil on GitHub v0.0.6-16