Releases around rocq-archive/coq-in-coq v8.3 on GitHub

rocq-archive/coq-in-coq on GitHub v8.3

thunderbird/thunderbird-android on GitHub 2.902

dCache/dcache on GitHub 1.9.9-1

vision5/ngx_devel_kit on GitHub v0.2.7

FarGroup/FarManager on GitHub builds/2.0.1604

vision5/ngx_devel_kit on GitHub v0.2.6

requirejs/r.js on GitHub 0.12.0

gregkh/linux on GitHub v2.6.35-rc4

ValveSoftware/steamos_kernel on GitHub v2.6.35-rc4

microsoft/WSL2-Linux-Kernel on GitHub v2.6.35-rc4

libos-nuse/lkl-linux on GitHub v2.6.35-rc4

pika on Python PyPI 0.5.1

pika/pika on GitHub v0.5.1 0.5.1

gimagereader on SourceForge 0.4/gimagereader_0.4-1_all.deb 0.4/gimagereader-0.4-1.fc13.noarch.rpm 0.4/gimagereader-0.4.tar.gz 0.4/gimagereader_0.4-1_win32.exe

jbox2d/jbox2d on GitHub 1.4.3 1.0.0 1.4.3@267 1.0.0@267

ExtUtils-ParseXS on Perl CPAN 2.2206

gnome-terminator/terminator on GitHub 0.94

DOCGroup/ACE_TAO on GitHub ACE+TAO+CIAO-5_8_0

wesnoth/wesnoth on GitHub 1.8.3

syndicodefront/infekt on GitHub v0.6.0

XML-Rabbit on Perl CPAN 0.0.2

codership/mysql-wsrep on GitHub clone-5.1.49-build

vkaxproject/vkax on GitHub v0.3.0

emercoin/emercoin on GitHub v0.3.0

bitcoinknots/bitcoin on GitHub v0.3.0