Popularity contest statistics for agda

Help (click to collapse)
Name Inst (164210)
(1st: debianutils)
Vote (155370)
(1st: perl-base)
Old (132726)
(1st: laptop-detect)
Recent (53228)
(1st: dnsutils)
No Files (163944)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 784 0.48% 11366 20 0.01% 17207 608 0.46% 7362 156 0.29% 5698 0 0.00% 95955 Graph (inst only)
libghc-agda-doc 27 0.02% 42596 1 0.00% 46582 10 0.01% 36429 8 0.02% 18010 8 0.00% 25699 Graph (inst only)
agda-mode 769 0.47% 11474 0 0.00% 57467 0 0.00% 83989 0 0.00% 41772 769 0.47% 4560 Graph (inst only)
agda 752 0.46% 11583 0 0.00% 57466 0 0.00% 83988 0 0.00% 41771 752 0.46% 4606 Graph (inst only)
agda-bin 799 0.49% 11279 17 0.01% 18204 616 0.46% 7318 166 0.31% 5530 0 0.00% 71792 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page