Releases around coq/coq V8.6beta1 on GitHub

coq/coq on GitHub V8.6beta1

neos/neos-development-collection on GitHub 3.0.7

neos/neos on GitHub 3.0.7

Net-DNS on Perl CPAN 1.12

slim-select on Node.js NPM 1.1.4

brianvoe/slim-select on GitHub v1.1.4

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