Popularity contest statistics for agda

Help (click to collapse)
Name Inst (197463)
(1st: debianutils)
Vote (183584)
(1st: perl-base)
Old (158176)
(1st: installation-report)
Recent (59723)
(1st: vim-tiny)
No Files (196724)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 792 0.40% 12947 0 0.00% 63299 0 0.00% 94321 0 0.00% 49834 792 0.40% 5431 Graph (inst only)
agda-bin 835 0.42% 12681 60 0.03% 12008 747 0.47% 7703 28 0.05% 12263 0 0.00% 81192 Graph (inst only)
elpa-agda2-mode 84 0.04% 33384 33 0.02% 15564 45 0.03% 26039 6 0.01% 23593 0 0.00% 90437 Graph (inst only)
agda-mode 751 0.38% 13227 0 0.00% 63300 0 0.00% 94322 0 0.00% 49835 751 0.38% 5546 Graph (inst only)
libghc-agda-dev 831 0.42% 12700 47 0.03% 13439 752 0.48% 7684 31 0.05% 11791 1 0.00% 63869 Graph (inst only)
libghc-agda-doc 34 0.02% 45808 4 0.00% 34660 22 0.01% 33114 5 0.01% 25433 3 0.00% 40324 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page