Popularity contest statistics for agda

Help (click to collapse)
Name Inst (198246)
(1st: zlib1g)
Vote (184811)
(1st: perl-base)
Old (159918)
(1st: installation-report)
Recent (62089)
(1st: dnsutils)
No Files (197495)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 776 0.39% 13105 0 0.00% 63080 0 0.00% 94611 0 0.00% 47120 776 0.39% 5508 Graph (inst only)
agda-bin 819 0.41% 12820 41 0.02% 14230 687 0.43% 7999 91 0.15% 7950 0 0.00% 80299 Graph (inst only)
elpa-agda2-mode 75 0.04% 35021 10 0.01% 25280 62 0.04% 23426 3 0.00% 28754 0 0.00% 89750 Graph (inst only)
agda-mode 739 0.37% 13359 0 0.00% 63081 0 0.00% 94612 0 0.00% 47121 739 0.37% 5612 Graph (inst only)
libghc-agda-dev 809 0.41% 12879 66 0.04% 11611 660 0.41% 8146 83 0.13% 8426 0 0.00% 106320 Graph (inst only)
libghc-agda-doc 28 0.01% 49075 3 0.00% 37356 24 0.02% 32627 1 0.00% 39130 0 0.00% 106321 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page