Popularity contest statistics for agda

Help (click to collapse)
Name Inst (180999)
(1st: debianutils)
Vote (168216)
(1st: perl-base)
Old (143368)
(1st: laptop-detect)
Recent (48747)
(1st: linux-base)
No Files (180726)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 878 0.49% 11326 18 0.01% 17981 583 0.41% 7805 277 0.57% 5287 0 0.00% 98641 Graph (inst only)
libghc-agda-doc 27 0.01% 43626 1 0.00% 46357 16 0.01% 32599 2 0.00% 29392 8 0.00% 26358 Graph (inst only)
agda-mode 865 0.48% 11391 0 0.00% 57637 0 0.00% 86183 0 0.00% 43300 865 0.48% 4559 Graph (inst only)
agda 850 0.47% 11471 0 0.00% 57636 0 0.00% 86182 0 0.00% 43299 850 0.47% 4588 Graph (inst only)
agda-bin 893 0.49% 11235 21 0.01% 16768 584 0.41% 7789 288 0.59% 5152 0 0.00% 74072 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page