id: b84b69718b2d454aa104cef95ddbffb8
parent_id: 2864653cec234eeeb18322d7318f97ca
item_type: 1
item_id: 710d4c67adde405cb8bb03eb4a82e217
item_updated_time: 1667317995654
title_diff: "[]"
body_diff: "[{\"diffs\":[[1,\"- Starting with a directory with leanpkg.toml in it\\\n- Add files such as lovelib, etc to a src folder\\\n- Run leanproject get-mathlib-cache\\\n- Run leanproject build\"]],\"start1\":0,\"start2\":0,\"length1\":0,\"length2\":160}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2022-11-01T16:01:17.262Z
created_time: 2022-11-01T16:01:17.262Z
type_: 13