Popularity contest statistics for prover9-manual

Help (click to collapse)
Name Inst (199549)
(1st: libbz2-1.0)
Vote (183332)
(1st: dpkg)
Old (160186)
(1st: tasksel-data)
Recent (52585)
(1st: locales)
No Files (198513)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
prover9-doc 35 0.02% 46260 0 0.00% 143873 0 0.00% 150706 0 0.00% 139562 35 0.02% 18746 Graph (inst only)

popcon graph for prover9-manual

Maintainer page