Popularity contest statistics for agda

Help (click to collapse)
Name Inst (195398)
(1st: dpkg)
Vote (181997)
(1st: dpkg)
Old (156413)
(1st: tasksel-data)
Recent (59683)
(1st: dnsutils)
No Files (193886)
(1st: debconf-i18n)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 991 0.51% 12067 0 0.00% 63864 0 0.00% 95481 0 0.00% 47994 991 0.51% 5061 Graph (inst only)
agda-bin 1035 0.53% 11855 40 0.02% 14181 708 0.45% 7940 287 0.48% 5769 0 0.00% 79418 Graph (inst only)
elpa-agda2-mode 371 0.19% 18361 25 0.01% 17240 72 0.05% 22157 274 0.46% 6058 0 0.00% 89059 Graph (inst only)
agda-mode 663 0.34% 14344 0 0.00% 63865 0 0.00% 95482 0 0.00% 47995 663 0.34% 6036 Graph (inst only)
libghc-agda-dev 1022 0.52% 11904 39 0.02% 14400 701 0.45% 7983 282 0.47% 5876 0 0.00% 106102 Graph (inst only)
libghc-agda-doc 33 0.02% 46868 7 0.00% 28639 21 0.01% 33935 5 0.01% 25211 0 0.00% 106103 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page