Dependency Graph for sphinx-proof 0.1.2