Releases around coq/coq V8.4pl6 on GitHub

coq/coq on GitHub V8.4pl6

tns-core-modules on Node.js NPM 3.2.0-2017-8-18-1

neos/neos-development-collection on GitHub 2.3.16

neos/neos on GitHub 2.3.16

coq/coq on GitHub V8.5

rpi-ws281x on Python PyPI 3.0.1

nClam on .NET NuGet 4.0.0

AbsInt/CompCert on GitHub v3.1

neos/flow-development-collection on GitHub 4.1.6

neos/flow on GitHub 4.1.6

rpi-ws281x on Python PyPI 3.0.0

neos/flow-development-collection on GitHub 4.0.12

neos/flow on GitHub 4.0.12

eclipse-jdt/eclipse.jdt.core on GitHub I20170820-2000 I20170819-1500 I20170818-2000

espocrm/espocrm on GitHub 4.8.1

mapsme/omim on GitHub py-modules-0.2.5

Particular/NServiceBus on GitHub 6.4.0

coq/coq on GitHub V8.5pl1

neos/flow-development-collection on GitHub 3.3.18

neos/flow on GitHub 3.3.18

floating-ui/floating-ui on GitHub v1.12.3

vusion/popper.js on GitHub v1.12.3

popper.js on Node.js Yarn 1.12.3

popper.js on Node.js NPM 1.12.3

renyuneyun/Easer on GitHub v0.3.5.1

mitchellkrogza/apache-ultimate-bad-bot-blocker on GitHub V3.2017.08.596

ekristen/aws-nuke on GitHub v1.1.0

eclipse-jdt/eclipse.jdt.core on GitHub S4_7_1_RC1

documize/community on GitHub v1.52.1

vue-slider-component on Node.js NPM 2.3.8