Dependency Graph for sphinx-proof 0.0.3