lemma_lean-0.2.0.data/scripts/lemma,sha256=TpQrw7uI5ElB89yEmzqh4xy8bBIyw2I5432P-GYRvoU,6600112
lemma_lean-0.2.0.dist-info/METADATA,sha256=KuYllU4xTlywT_risuopjdht4NEdJXfehWZrYYS8FE4,9074
lemma_lean-0.2.0.dist-info/WHEEL,sha256=QAVCx-J1ZLJN48ljfCXhT21IIEdBxBbepVXiHxK7EEg,141
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=VHXa-oNksKRTVf6RIMs7kzhcnWe2PmnOaX7lg848dVs,265728
lemma_lean-0.2.0.dist-info/RECORD,,
