Dependency Graph for sphinxcontrib-proof 1.2.0