Releases around coq/coq V8.4pl3 on GitHub

coq/coq on GitHub V8.4pl3

illuminate/routing on PHP Packagist v4.1.1

cyrusimap/cyrus-imapd on GitHub cyrus-imapd-2.4.17-caldav-beta8

league/fractal on PHP Packagist 0.4.5

pedro311/freshtomato-mips on Bitbucket Toastman-1.28.0503.5

archivesspace/archivesspace on GitHub v1.0.3-rc.2

pedro311/freshtomato-mips on Bitbucket Toastman-1.28.7503.5

Checkmk/checkmk on GitHub v1.2.3i7p2

orchestra/testbench on PHP Packagist v2.1.0

frappe/erpnext on GitHub v3.2.1

illuminate/routing on PHP Packagist v4.1.0

filesender/filesender on GitHub svn/branches/filesender-2.0@2685

erlang/otp on GitHub OTP_R16B03_yielding_binary_to_term

nodemon on Node.js Yarn 0.9.16

knplabs/knp-time-bundle on PHP Packagist v1.3

intervention/image on PHP Packagist 1.5.2

qt/qtdoc on GitHub v5.2.0

qt/qtbase on GitHub v5.2.0

qt/qt5 on GitHub v5.2.0

grunt-file-info on Node.js NPM 0.1.2

sonata-project/SonataAdminBundle on GitHub 2.2.9

grunt-file-info on Node.js NPM 0.1.1

josdejong/mathjs on GitHub v0.17.0

uikit/uikit on GitHub v2.0.0

bit-team/backintime on GitHub v1.0.30

org.springframework:spring-test on Java Maven 3.2.6.RELEASE

org.springframework:spring-webmvc on Java Maven 3.2.6.RELEASE

org.springframework:spring-orm on Java Maven 3.2.6.RELEASE

org.springframework:spring-web on Java Maven 3.2.6.RELEASE

org.springframework:spring-core on Java Maven 3.2.6.RELEASE

org.springframework:spring-beans on Java Maven 3.2.6.RELEASE

org.springframework:spring-jdbc on Java Maven 3.2.6.RELEASE