archful = false archive_name = "sphinxcontrib_proof-1.8.0.tar.gz" automode = true extras = [] license = "AGPL-3.0-or-later" license_files_present = true name = "sphinxcontrib-proof" python_name = "python-sphinxcontrib-proof" scripts = [] source = "PyPI" summary = "This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc." top_level_modules = [ "sphinxcontrib", ] url = "https://framagit.org/spalax/sphinxcontrib-proof" version = "1.8.0"