HOL-Theorem-Prover/HOL on GitHub kananaskis-9 jgm/pandoc on GitHub 1.12.2.1 Cairo-GObject on Perl CPAN 1.002 youtube_dl on Python PyPI 2013.12.09.1 dstftw/youtube-dl on GitLab 2013.12.09.1 ytdl-patched/ytdl-patched on GitHub 2013.12.09.1 ytdl-org/ytdl-nightly on GitHub 2013.12.09.1 Tortel/SysLog on GitHub v1.5.3 GNOME/evolution on GNOME GitLab EVOLUTION_3_10_3 Homebrew/homebrew-cask on GitHub v0.23.0 lubosm/homebrew-cask on GitHub v0.23.0 lra/mackup on GitHub 0.5.4 fluent-plugin-sql on Ruby Gems 0.2.2 fluent/fluent-plugin-sql on GitHub v0.2.2 youtube_dl on Python PyPI 2013.12.09 dstftw/youtube-dl on GitLab 2013.12.09 ytdl-patched/ytdl-patched on GitHub 2013.12.09 ytdl-org/ytdl-nightly on GitHub 2013.12.09 squid-cache/squid on GitHub SQUID_3_4_1 sbcl on SourceForge sbcl/1.1.14/sbcl-1.1.14-x86-64-openbsd54-binary.tar.bz2 sbcl/1.1.14/sbcl-1.1.14-powerpc-openbsd54-binary.tar.bz2 vlc on SourceForge 2.1.2/vlc-2.1.2.tar.xz sympy/sympy on GitHub sympy-0.7.4 emberjs/ember.js on GitHub v1.3.0-beta.2 sbcl on SourceForge sbcl/1.1.14/sbcl-1.1.14-x86-openbsd54-binary.tar.bz2 vlc on SourceForge 2.1.2/win32/vlc-2.1.2-win32.7z 2.1.2/win32/vlc-2.1.2-win32.zip thomasokken/free42 on GitHub v1.4.78 vlc on SourceForge 2.1.2/win32/vlc-2.1.2-win32.exe 2.1.2/win32/vlc-2.1.2.xpi request-ip on Node.js NPM 0.0.1 Gtk3 on Perl CPAN 0.015 Newer Older