Popularity contest statistics for agda

Help (click to collapse)
Name Inst (190243)
(1st: debianutils)
Vote (175316)
(1st: dpkg)
Old (150749)
(1st: laptop-detect)
Recent (62787)
(1st: isc-dhcp-common)
No Files (189981)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 784 0.41% 12352 23 0.01% 17231 725 0.48% 7303 36 0.06% 10448 0 0.00% 98206 Graph (inst only)
libghc-agda-doc 23 0.01% 47521 3 0.00% 35113 11 0.01% 37071 4 0.01% 25465 5 0.00% 31467 Graph (inst only)
agda-mode 768 0.40% 12449 0 0.00% 59527 0 0.00% 87152 0 0.00% 45613 768 0.40% 5162 Graph (inst only)
agda 753 0.40% 12549 0 0.00% 59526 0 0.00% 87151 0 0.00% 45612 753 0.40% 5207 Graph (inst only)
agda-bin 800 0.42% 12244 26 0.01% 16278 724 0.48% 7307 50 0.08% 9039 0 0.00% 73263 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page