Popularity contest statistics for agda

Help (click to collapse)
Name Inst (192533)
(1st: zlib1g)
Vote (179612)
(1st: perl-base)
Old (155574)
(1st: tasksel-data)
Recent (47977)
(1st: java-common)
No Files (192281)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 760 0.39% 12610 22 0.01% 17827 702 0.45% 7575 36 0.08% 10264 0 0.00% 101787 Graph (inst only)
libghc-agda-doc 29 0.02% 45527 2 0.00% 40907 22 0.01% 31257 2 0.00% 31149 3 0.00% 38608 Graph (inst only)
agda-mode 738 0.38% 12768 0 0.00% 61079 0 0.00% 90613 0 0.00% 46690 738 0.38% 5320 Graph (inst only)
agda 720 0.37% 12902 0 0.00% 61078 0 0.00% 90612 0 0.00% 46689 720 0.37% 5375 Graph (inst only)
agda-bin 766 0.40% 12550 27 0.02% 16280 706 0.45% 7555 33 0.07% 10573 0 0.00% 76479 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page