Releases around coq/coq V8.5beta3 on GitHub

coq/coq on GitHub V8.5beta3

elastic/elasticsearch-php on GitHub v2.0.3

mccxiv/tc on GitHub 1.0.1

asciidoctor/asciidoctorj on GitHub v1.5.3.2

mganss/XmlSchemaClassGenerator on GitHub v1.0

libeigen/eigen on GitLab 3.2.7

eigenteam/eigen-git-mirror on GitHub 3.2.7

org.asciidoctor:asciidoctorj-diagram on Java Maven 1.3.1

pimutils/vdirsyncer on GitHub 0.7.2

redux-form/redux-form on GitHub v3.0.1

Studio-42/elFinder on GitHub 2.1.0

pimutils/vdirsyncer on GitHub 0.7.1

qrohlf/trianglify on GitHub v0.4.0

veraPDF/veraPDF-library on GitHub d0.7.10

Activiti/Activiti on GitHub activiti-5.19.0

opencast/opencast on GitHub 1.6.3

algoliasearch on Node.js NPM 3.9.2

algolia/algoliasearch-client-javascript on GitHub 3.9.2

veraPDF/veraPDF-library on GitHub d0.7.9

coreos/go-systemd on GitHub v4

libpng on SourceForge libpng16/older-releases/1.6.19beta/libpng-1.6.19rc04.tar.gz libpng15/older-releases/1.5.24beta/libpng-1.5.24rc04.tar.gz

django-extensions/django-extensions on GitHub 1.5.9

libpng on SourceForge libpng14/older-releases/1.4.17beta/libpng-1.4.17rc04.tar.gz libpng12/older-releases/1.2.54beta/libpng-1.2.54rc04.tar.gz

mysticatea/npm-run-all on GitHub v1.2.13

libpng/libpng on GitHub v1.6.19rc04

pnggroup/libpng on GitHub v1.6.19rc04

libpng/libpng on GitHub v1.5.24rc04

pnggroup/libpng on GitHub v1.5.24rc04

libpng/libpng on GitHub v1.4.17rc04

pnggroup/libpng on GitHub v1.4.17rc04