Popularity contest statistics for agda

Help (click to collapse)
Name Inst (193114)
(1st: debianutils)
Vote (179841)
(1st: debianutils)
Old (155701)
(1st: laptop-detect)
Recent (51346)
(1st: tzdata)
No Files (192850)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 802 0.42% 12337 24 0.01% 17224 748 0.48% 7326 30 0.06% 11274 0 0.00% 102091 Graph (inst only)
libghc-agda-doc 28 0.01% 45813 1 0.00% 48806 23 0.01% 30577 0 0.00% 84845 4 0.00% 34890 Graph (inst only)
agda-mode 784 0.41% 12463 0 0.00% 60963 0 0.00% 90419 0 0.00% 45361 784 0.41% 5157 Graph (inst only)
agda 768 0.40% 12586 0 0.00% 60962 0 0.00% 90418 0 0.00% 45360 768 0.40% 5226 Graph (inst only)
agda-bin 816 0.42% 12255 28 0.02% 16094 757 0.49% 7273 31 0.06% 11043 0 0.00% 76854 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page