SRI-CSL/PVS on GitHub pvs3.0-beta pvs2.4p1 FarGroup/FarManager on GitHub builds/3.0.2268 SRI-CSL/PVS on GitHub pvs2.4 pvs2.3 pvs2.2 johanandren/akka on GitHub v1.3-RC1 JessicaTegner/pypandoc on GitHub v0.5.0 eclipse-jdt/eclipse.jdt.core on GitHub v_B78_R37x greenbone/gsad on GitHub v3.0+beta6 Nuitka/Nuitka on GitHub 0.3.14a ntpsec/ntpsec on GitHub NTP_4_2_7P235 Pawka/phrozn on GitHub 0.3.3 libdc1394 on SourceForge libdc1394-2/2.1.4/libdc1394-2.1.4.tar.gz puppetlabs/puppetlabs-ntp on GitHub v0.0.4 pedro311/freshtomato-mips on Bitbucket PPTP utilities/konsole on KDE GitLab v4.7.80 mozilla/kitsune on GitHub 2011-11-15-2 2011-11-15-1 vkaxproject/vkax on GitHub v0.5.0rc5 emercoin/emercoin on GitHub v0.5.0rc5 bitcoinknots/bitcoin on GitHub v0.5.0rc5 bhdone/btchd on GitHub v0.5.0rc5 php-amqplib/php-amqplib on GitHub v1.0 Mobian-team/packages/gnome-control-center on Debian GitLab debian/1%3.2.2-1 SVProgressHUD/SVProgressHUD on GitHub 0.2 samvera/hyrax on GitHub v3.1.0.rc2 networkx on Python PyPI 1.6rc1 pika/pika on GitHub en_support_20111115 magicalpanda/MagicalRecord on GitHub 1.7.1 samvera/hyrax on GitHub v3.1.0.rc1 tap on Node.js NPM 0.0.14 Newer Older