Popularity contest statistics for agda

Help (click to collapse)
Name Inst (138428)
(1st: debianutils)
Vote (127321)
(1st: libc6)
Old (107741)
(1st: laptop-detect)
Recent (36185)
(1st: linux-base)
No Files (138230)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 748 0.54% 11088 18 0.01% 17056 683 0.63% 6806 47 0.13% 8422 0 0.00% 91712 Graph (inst only)
libghc-agda-doc 25 0.02% 42143 1 0.00% 44241 10 0.01% 35592 6 0.02% 19001 8 0.01% 24821 Graph (inst only)
agda-mode 734 0.53% 11174 0 0.00% 54573 0 0.00% 81677 0 0.00% 40573 734 0.53% 4468 Graph (inst only)
agda 720 0.52% 11273 0 0.00% 54572 0 0.00% 81676 0 0.00% 40572 720 0.52% 4506 Graph (inst only)
agda-bin 776 0.56% 10912 16 0.01% 17733 703 0.65% 6723 57 0.16% 7666 0 0.00% 68271 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page