("lcr" . "c14f40692292d59156c7632dbdd2867c086aa75f")
("lean-mode" . "9d6b8471e2044310b4cd7cd3213b1fc8f78ec499")
("let-alist" . "33e71829e8814cf5f28b6e4291192aafef61b69e")
("loop.el" . "e22807f83a0890dc8a904c51ee0742c34efccc6c")
("lcr" . "c14f40692292d59156c7632dbdd2867c086aa75f")
("lean-mode" . "9d6b8471e2044310b4cd7cd3213b1fc8f78ec499")
("let-alist" . "33e71829e8814cf5f28b6e4291192aafef61b69e")
("loop.el" . "e22807f83a0890dc8a904c51ee0742c34efccc6c")