Popularity contest statistics for agda

Help (click to collapse)
Name Inst (177339)
(1st: debianutils)
Vote (163655)
(1st: perl-base)
Old (140497)
(1st: laptop-detect)
Recent (44806)
(1st: patch)
No Files (177058)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 810 0.46% 11380 69 0.04% 10498 715 0.51% 7228 26 0.06% 10060 0 0.00% 96868 Graph (inst only)
libghc-agda-doc 31 0.02% 41268 3 0.00% 33854 13 0.01% 34869 3 0.01% 23935 12 0.01% 22652 Graph (inst only)
agda-mode 788 0.44% 11508 0 0.00% 57962 0 0.00% 85753 0 0.00% 40538 788 0.45% 4563 Graph (inst only)
agda 770 0.43% 11642 0 0.00% 57961 0 0.00% 85752 0 0.00% 40537 770 0.43% 4598 Graph (inst only)
agda-bin 824 0.46% 11316 27 0.02% 15577 771 0.55% 6969 26 0.06% 10003 0 0.00% 72374 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page