Popularity contest statistics for agda

Help (click to collapse)
Name Inst (191198)
(1st: debianutils)
Vote (178262)
(1st: debianutils)
Old (154747)
(1st: installation-report)
Recent (46488)
(1st: locales)
No Files (190697)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 821 0.43% 12448 0 0.00% 62097 0 0.00% 92818 0 0.00% 45614 821 0.43% 5213 Graph (inst only)
agda-bin 872 0.46% 12164 75 0.04% 10651 694 0.45% 7655 103 0.22% 7049 0 0.00% 77379 Graph (inst only)
elpa-agda2-mode 106 0.06% 29684 49 0.03% 12862 36 0.02% 27028 21 0.05% 14389 0 0.00% 86673 Graph (inst only)
agda-mode 761 0.40% 12840 0 0.00% 62099 0 0.00% 92819 0 0.00% 45616 761 0.40% 5391 Graph (inst only)
libghc-agda-dev 859 0.45% 12239 58 0.03% 11860 705 0.46% 7602 96 0.21% 7275 0 0.00% 103885 Graph (inst only)
libghc-agda-doc 30 0.02% 45814 5 0.00% 31237 20 0.01% 32796 3 0.01% 27631 2 0.00% 44777 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page