sphinxcontrib_prettyproof-0.0.1b0-py3.8-nspkg.pth,sha256=bvCbvTDhKUCTNtrCbu6HVe8TsYC4G4-hRkXeHdEJ6t4,574
sphinxcontrib/_static/proof.css,sha256=6TZWnyfRPRZZ8k0yZZ_3DsIz2En0t2fTjsL_4Em59eQ,3953
sphinxcontrib/prettyproof/__init__.py,sha256=ea73ZfQaS-UVBO_7oZBUCZTfdysOtnrHTz5gEMMsm8Y,2906
sphinxcontrib/prettyproof/directive.py,sha256=lKljevWX70A2mNulbNWD9b16pu_C72db-CSgFWLZ4VI,4056
sphinxcontrib/prettyproof/domain.py,sha256=3fR5n5N5XXMKxyiczqhiPLeBerGjssPtF-4hvndb2mE,3374
sphinxcontrib/prettyproof/nodes.py,sha256=o8YIpiyQH2au4QM8NBUYIlFnWUU5zZoN2JGthmzUkVk,2008
sphinxcontrib/prettyproof/proof_type.py,sha256=av5NVltoxV-GB27VPbJLlyyTUOb9gxy2gM5YH642vy4,1314
sphinxcontrib_prettyproof-0.0.1b0.dist-info/LICENSE,sha256=C6Q1ZyQF1djgZDbCIwD6NEb2Ne8FaVsnvhScoZGS4AY,1077
sphinxcontrib_prettyproof-0.0.1b0.dist-info/METADATA,sha256=o1zth-XZy2KXbAw5FlO29kxRACrix_NfaZk9xIuSw5o,1447
sphinxcontrib_prettyproof-0.0.1b0.dist-info/WHEEL,sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY,92
sphinxcontrib_prettyproof-0.0.1b0.dist-info/namespace_packages.txt,sha256=VJrV3_vaiKQVgVpR0I1iecxoO0drzGu-M0j40PVP2QQ,14
sphinxcontrib_prettyproof-0.0.1b0.dist-info/top_level.txt,sha256=VJrV3_vaiKQVgVpR0I1iecxoO0drzGu-M0j40PVP2QQ,14
sphinxcontrib_prettyproof-0.0.1b0.dist-info/RECORD,,
