lemma_lean-0.2.0.data/scripts/lemma.exe,sha256=eTM9BSfP2mZcVQwPfN9mZ-mHGddozeMPc7bNeATjpdw,5669376
lemma_lean-0.2.0.dist-info/METADATA,sha256=R52vhxJL9pVYi6zcO4DkCi6I7O4SPekM8jhZhv7D2Lc,9361
lemma_lean-0.2.0.dist-info/WHEEL,sha256=2zDlIYIdD4m4N3p5DVEG3iJhGLdhsBQgdH-FqVkAur8,94
lemma_lean-0.2.0.dist-info/licenses/LICENSE,sha256=3iaZzkMrOriB3KJPFf393WHys3Xe6jbYTuboRSGV4W4,1084
lemma_lean-0.2.0.dist-info/sboms/lemma-rs.cyclonedx.json,sha256=VcGY9FRoYyO7NoP3yfDjYPjsUS19IIYVhJ28Ru31yew,274973
lemma_lean-0.2.0.dist-info/RECORD,,
