Popularity contest statistics for prover9-manual

Help (click to collapse)
Name Inst (197509)
(1st: sed)
Vote (184794)
(1st: perl-base)
Old (160621)
(1st: tasksel-data)
Recent (49667)
(1st: eject)
No Files (196700)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
prover9-doc 30 0.02% 48295 0 0.00% 142863 0 0.00% 149825 0 0.00% 138598 30 0.02% 19556 Graph (inst only)

popcon graph for prover9-manual

Maintainer page