Popularity contest statistics for prover9-manual

Help (click to collapse)
Name Inst (201654)
(1st: sed)
Vote (188936)
(1st: libc6)
Old (162690)
(1st: installation-report)
Recent (49132)
(1st: ghostscript)
No Files (200248)
(1st: debconf-i18n)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
prover9-doc 28 0.01% 50412 0 0.00% 146498 0 0.00% 154430 0 0.00% 142742 28 0.01% 20609 Graph (inst only)

popcon graph for prover9-manual

Maintainer page