Popularity contest statistics for prover9-manual

Help (click to collapse)
Name Inst (195328)
(1st: libbz2-1.0)
Vote (182100)
(1st: libc6)
Old (156324)
(1st: tasksel-data)
Recent (60731)
(1st: dnsutils)
No Files (193816)
(1st: debconf-i18n)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
prover9-doc 27 0.01% 50038 0 0.00% 143593 0 0.00% 150959 0 0.00% 139368 27 0.01% 20427 Graph (inst only)

popcon graph for prover9-manual

Maintainer page