Releases around coq/coq V8.4pl5 on GitHub

coq/coq on GitHub V8.4pl5

CorsixTH/CorsixTH on GitHub v0.40-beta2

UweTrottmann/SeriesGuide on GitHub v19-beta2

prompt-toolkit on Python PyPI 0.21

sprintf-js on Node.js NPM 1.0.2 1.0.1

sivann/itdb on GitHub 1.14

ultradefrag/stable-release on SourceForge 6.0.4/ultradefrag-portable-6.0.4.bin.ia64.zip 6.0.4/ultradefrag-6.0.4.MD5SUMS 6.0.4/ultradefrag-portable-6.0.4.bin.i386.zip 6.0.4/ultradefrag-portable-6.0.4.bin.amd64.zip 6.0.4/UltraDefrag_Handbook_6.0.4_letter.pdf 6.0.4/UltraDefrag_Handbook_6.0.4_a4.pdf 6.0.4/ultradefrag-6.0.4.src.7z 6.0.4/ultradefrag-6.0.4.bin.ia64.exe 6.0.4/ultradefrag-6.0.4.bin.i386.exe 6.0.4/ultradefrag-6.0.4.bin.amd64.exe 6.0.4/HISTORY.TXT

osm2pgsql-dev/osm2pgsql on GitHub 0.86.0

CBOR-XS on Perl CPAN 1.26

rurban/Cpanel-JSON-XS on GitHub stable gitpan_version/3.01 gitpan_version/3.0 gitpan_version/2.34 gitpan_version/2.33 cpan_version/3.01 cpan_version/3.0 cpan_version/2.34 cpan_version/2.33 cpan_path/MLEHMANN/JSON-XS-3.01.tar.gz cpan_path/MLEHMANN/JSON-XS-3.0.tar.gz cpan_path/MLEHMANN/JSON-XS-2.34.tar.gz