Popularity contest statistics for agda

Help (click to collapse)
Name Inst (170140)
(1st: debianutils)
Vote (157200)
(1st: perl-base)
Old (131685)
(1st: laptop-detect)
Recent (57341)
(1st: file)
No Files (169824)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 864 0.51% 10618 63 0.04% 10834 776 0.59% 6397 25 0.04% 11471 0 0.00% 93186 Graph (inst only)
libghc-agda-doc 30 0.02% 39855 7 0.00% 26236 9 0.01% 35978 1 0.00% 34380 13 0.01% 20650 Graph (inst only)
agda-mode 844 0.50% 10739 0 0.00% 57003 0 0.00% 81027 0 0.00% 41499 844 0.50% 4109 Graph (inst only)
agda 830 0.49% 10839 0 0.00% 57002 0 0.00% 81026 0 0.00% 41498 830 0.49% 4147 Graph (inst only)
agda-bin 864 0.51% 10612 35 0.02% 13890 804 0.61% 6296 25 0.04% 11377 0 0.00% 68721 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

percent submitters popcon graph for agda

Maintainer page