lemma_lean-0.2.0.data/scripts/lemma,sha256=VQky2A4FYrwfEanQs8DRzkB_lDEjMGdRL1yQOPmHKOU,5841112
lemma_lean-0.2.0.dist-info/METADATA,sha256=KuYllU4xTlywT_risuopjdht4NEdJXfehWZrYYS8FE4,9074
lemma_lean-0.2.0.dist-info/WHEEL,sha256=I6Qh_jEle8fEVOi1LigjDTUxQyVu0J2jz1fKp67qW5Y,104
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=ZgMF53M4MDOS-mjOZqv5QjnUOnAk_s26-dAPHn5iJ1U,264647
lemma_lean-0.2.0.dist-info/RECORD,,
