Popularity contest statistics for agda

Help (click to collapse)
Name Inst (193958)
(1st: coreutils)
Vote (181116)
(1st: perl-base)
Old (157529)
(1st: installation-report)
Recent (44254)
(1st: libpam-modules-bin)
No Files (193258)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 776 0.40% 13008 0 0.00% 62693 0 0.00% 93871 0 0.00% 46455 776 0.40% 5443 Graph (inst only)
agda-bin 816 0.42% 12755 57 0.03% 12094 736 0.47% 7722 23 0.05% 13990 0 0.00% 77231 Graph (inst only)
elpa-agda2-mode 77 0.04% 34294 42 0.02% 13877 31 0.02% 29273 4 0.01% 26669 0 0.00% 86259 Graph (inst only)
agda-mode 738 0.38% 13267 0 0.00% 62694 0 0.00% 93872 0 0.00% 46456 738 0.38% 5566 Graph (inst only)
libghc-agda-dev 812 0.42% 12777 55 0.03% 12298 733 0.47% 7729 23 0.05% 14062 1 0.00% 61525 Graph (inst only)
libghc-agda-doc 25 0.01% 50232 5 0.00% 32021 18 0.01% 34944 0 0.00% 86469 2 0.00% 45351 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page