lemma_lean-0.2.0.data/scripts/lemma,sha256=XNjdaZMlJMy6DtqOZDCgbi2FLX6Lmf-WISIH1-L4HBE,4944752
lemma_lean-0.2.0.dist-info/METADATA,sha256=KuYllU4xTlywT_risuopjdht4NEdJXfehWZrYYS8FE4,9074
lemma_lean-0.2.0.dist-info/WHEEL,sha256=7m8kjhP_K0tQ6qXK8P1IG2YeRznSaoXUEpeK3IfZx-I,102
lemma_lean-0.2.0.dist-info/licenses/LICENSE,sha256=pMSkd453YwxABUpZ6kqwHQTOdQqZvL-LYSf1X6cOlmo,1063
lemma_lean-0.2.0.dist-info/sboms/lemma-rs.cyclonedx.json,sha256=Z-UxbdzaJZHYTq3Qkkg2aXWZ5lrQ1edRPexncXa0wGI,264832
lemma_lean-0.2.0.dist-info/RECORD,,
