HOL-Theorem-Prover/HOL on GitHub kananaskis-5 athabasca-5 kananaskis-6 kananaskis-7 kananaskis-4 nsxiv/nsxiv on GitHub 0.9 fabric on Node.js NPM 0.5.3 util-linux/util-linux on GitHub v2.20-rc2 coffee-rails on Ruby Gems 3.1.0.rc.6 mysql2 on Ruby Gems 0.2.12 activerecord on Ruby Gems 3.1.0.rc6 3.0.10 2.3.14 AyatanaIndicators/ayatana-indicator-datetime on GitHub 0.2.92-0ubuntu1 natural on Node.js NPM 0.0.40 PlayOnLinux/POL-POM-4 on GitHub 4.0.1 fabric on Node.js NPM 0.5.2 webmock on Ruby Gems 1.7.2 PlayOnLinux/POL-POM-4 on GitHub 4.0 GNOME/vala on GNOME GitLab 0.13.2 MediaArea/MediaInfo on GitHub v0.7.48 rubygems/rubygems on GitHub bundler-v1.0.18 Selenium-Remote-Driver on Perl CPAN 0.11 teodesian/Selenium-Remote-Driver on GitHub v0.11 PlayOnLinux/POL-POM-4 on GitHub 4.0-beta6 premake/premake-core on GitHub 4.4-beta3 ntpsec/ntpsec on GitHub NTP_4_2_7P204 pugjs/pug on GitHub 0.14.2 openresty/lua-nginx-module on GitHub v0.2.1rc11 xwiki/xwiki-platform on GitHub xwiki-core-3.0.1 org.eclipse.jetty:jetty-distribution on Java Maven 8.0.0.RC0 jetty/jetty.project on GitHub jetty-8.0.0.RC0 Newer Older
