sphinxcontrib_prettyproof-0.0.2-py3.8-nspkg.pth,sha256=bvCbvTDhKUCTNtrCbu6HVe8TsYC4G4-hRkXeHdEJ6t4,574
sphinxcontrib/_static/proof.css,sha256=fLY6H5bpw_rK_Vkm-O0bS82te4TeuoJQIGdMT46bbBU,4362
sphinxcontrib/prettyproof/__init__.py,sha256=AvxiPTZTQKzr4NCnma3yqGRz11bfbWqdgAgYjxWOOFE,3149
sphinxcontrib/prettyproof/directive.py,sha256=AOJngdclK6me_K7KeyjZj44X_Lfusoj9sB79O6LxDCE,4205
sphinxcontrib/prettyproof/domain.py,sha256=-Ggf0W276m9LRQBnSkxvNs97E2N9cWTpcUE6TG12nAQ,3465
sphinxcontrib/prettyproof/nodes.py,sha256=NDX3akRVwlYOTvxxP1hdSpyIHnqPwjp5TvcTcaQLjWA,1866
sphinxcontrib/prettyproof/proof_type.py,sha256=av5NVltoxV-GB27VPbJLlyyTUOb9gxy2gM5YH642vy4,1314
sphinxcontrib_prettyproof-0.0.2.dist-info/LICENSE,sha256=C6Q1ZyQF1djgZDbCIwD6NEb2Ne8FaVsnvhScoZGS4AY,1077
sphinxcontrib_prettyproof-0.0.2.dist-info/METADATA,sha256=RSimKXSmNYvZSE1-YPKkyRmWS0ILgHG8M7cEe60N57s,1444
sphinxcontrib_prettyproof-0.0.2.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
sphinxcontrib_prettyproof-0.0.2.dist-info/namespace_packages.txt,sha256=VJrV3_vaiKQVgVpR0I1iecxoO0drzGu-M0j40PVP2QQ,14
sphinxcontrib_prettyproof-0.0.2.dist-info/top_level.txt,sha256=VJrV3_vaiKQVgVpR0I1iecxoO0drzGu-M0j40PVP2QQ,14
sphinxcontrib_prettyproof-0.0.2.dist-info/RECORD,,
