lemma_lean-0.2.0.data/scripts/lemma,sha256=5890RFZJBy6W-PEdVT1fy_cyNQBps0AzBUbI19nYg6Q,5564416
lemma_lean-0.2.0.dist-info/METADATA,sha256=KuYllU4xTlywT_risuopjdht4NEdJXfehWZrYYS8FE4,9074
lemma_lean-0.2.0.dist-info/WHEEL,sha256=RZnhK0IFlxvvQersm8wGjnBi0F8E19d17p2JxxtBg3c,143
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=5EelO-Ra2APfd_SIF9iJ11FeOBLPwOvkgLVxnTwQ-Ww,265913
lemma_lean-0.2.0.dist-info/RECORD,,
