)]}' { "commit": "78ae0d893539a899b1c2ac4f5f3284e247a13c21", "tree": "1fa24b9277f729721c56c16eff0dc45bf4fd9546", "parents": [ "7d815165f4cceb10157d23689eb598b7930142f6" ], "author": { "name": "Sebastian Ullrich", "email": "sebasti@nullri.ch", "time": "Tue Jan 19 18:17:21 2021 +0100" }, "committer": { "name": "Sebastian Ullrich", "email": "sebasti@nullri.ch", "time": "Tue Jan 19 18:17:21 2021 +0100" }, "message": "chore: update stage0\n", "tree_diff": [ { "type": "modify", "old_id": "ca99561f53d9e536d95dd8b66321be32140968c3", "old_mode": 33188, "old_path": "stage0/src/Init/Data/String/Basic.lean", "new_id": "6dac6b6655e0addf9fa0c0bc90aad28734575f6a", "new_mode": 33188, "new_path": "stage0/src/Init/Data/String/Basic.lean" }, { "type": "modify", "old_id": "e9aa8e0215bb5bebade85e30166c47efdb3ecefa", "old_mode": 33188, "old_path": "stage0/src/Init/SizeOf.lean", "new_id": "c843a36b9d4cce92bdbe2d2d40b52d2a324b7064", "new_mode": 33188, "new_path": "stage0/src/Init/SizeOf.lean" }, { "type": "modify", "old_id": "0b023930aab4795d22797ec59cadf9936bc8cecc", "old_mode": 33188, "old_path": "stage0/src/Init/System/IO.lean", "new_id": "2302ea8776f579eda23ed8580fc890f59b46d44a", "new_mode": 33188, "new_path": "stage0/src/Init/System/IO.lean" }, { "type": "modify", "old_id": "680a7ab2ae6929463a76dc94f58705818a1beeb3", "old_mode": 33188, "old_path": "stage0/src/Lean/AuxRecursor.lean", "new_id": "cd969ae410ac6b10f112befafc85a55da0ecd0fb", "new_mode": 33188, "new_path": "stage0/src/Lean/AuxRecursor.lean" }, { "type": "modify", "old_id": "3dd885c60bdc484b7405cb924da3877589c28f56", "old_mode": 33188, "old_path": "stage0/src/Lean/Compiler/IR/Borrow.lean", "new_id": "909afefa403eb14c82cce26418279cc3c40367ca", "new_mode": 33188, "new_path": "stage0/src/Lean/Compiler/IR/Borrow.lean" }, { "type": "modify", "old_id": "61f672549eef39b1dfd4ea3bc5f9fa7b28ce9b8a", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/App.lean", "new_id": "8bd3a4cd7641facddcf9189a5134ccc3baa1b867", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/App.lean" }, { "type": "modify", "old_id": "df46b64a2f8f7d08af304aa21c0e896c2758e338", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Binders.lean", "new_id": "3c24d2f173b21bb6be08039c21fc58e83ea940c4", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Binders.lean" }, { "type": "modify", "old_id": "a205d578074ea287fdcc4aa4ec86f70a058dae47", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Do.lean", "new_id": "4d639f6ce6dd8b0fc27d8ec533b880e96d0ef505", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Do.lean" }, { "type": "modify", "old_id": "11a2ae9c9b14f40ce20c11d0c37ff9707a360dca", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/InfoTree.lean", "new_id": "b2b501a8e45cceb2c2fd7f404d73e7523667ab26", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/InfoTree.lean" }, { "type": "modify", "old_id": "6fe8ab9b2b5a95296c154a3d4c98a0040d986898", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Match.lean", "new_id": "af6673f5cc4c4251a2c1d248c72bedb03c1d4d3b", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Match.lean" }, { "type": "modify", "old_id": "82404fd61cec127b3d38431a90bb23657219cc75", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Quotation.lean", "new_id": "05b304c32abd67b0af3bb34a816f30cd46d23ea2", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Quotation.lean" }, { "type": "modify", "old_id": "b05a6480790380447d5561ea24416660509fd45e", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/StructInst.lean", "new_id": "1156d535f5a25445ec307616e297f2ddc0318868", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/StructInst.lean" }, { "type": "modify", "old_id": "f6080f6dfe0e85d1ca82054034c62d952b685699", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Tactic/ElabTerm.lean", "new_id": "4a71e6660ab941bdd25b35a0aac539c0958f642b", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Tactic/ElabTerm.lean" }, { "type": "modify", "old_id": "b39d820a9ed88ceb90798bb0fbea4f30bc10e00d", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Tactic/Induction.lean", "new_id": "57db17649255b1eb3b1f6d880813fed8b2eeac6d", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Tactic/Induction.lean" }, { "type": "modify", "old_id": "163a542498fd86c525c34fe0893b87475a6da9fb", "old_mode": 33188, "old_path": "stage0/src/Lean/Elab/Term.lean", "new_id": "c84d5c2ca067699dc8c2da575beb53e99f395bd0", "new_mode": 33188, "new_path": "stage0/src/Lean/Elab/Term.lean" }, { "type": "modify", "old_id": "6c61fb0e8155362d4184372a3da7c51e4fc5c860", "old_mode": 33188, "old_path": "stage0/src/Lean/Meta/RecursorInfo.lean", "new_id": "9b3ca0cba03d9a57010df566a9626690d6a23eb3", "new_mode": 33188, "new_path": "stage0/src/Lean/Meta/RecursorInfo.lean" }, { "type": "modify", "old_id": "7ae0f44e903405a4563fb8eded2d39b7a460aca9", "old_mode": 33188, "old_path": "stage0/src/Lean/Meta/Tactic/Assert.lean", "new_id": "66eeb63ae95c3509213a92502f29ff2e33605392", "new_mode": 33188, "new_path": "stage0/src/Lean/Meta/Tactic/Assert.lean" }, { "type": "modify", "old_id": "0d8b87a9898fb96c96a6bac1f72515fd6a9ab069", "old_mode": 33188, "old_path": "stage0/src/Lean/Meta/Transform.lean", "new_id": "240404de191706fb1666a7deb58cc4d57ff696ab", "new_mode": 33188, "new_path": "stage0/src/Lean/Meta/Transform.lean" }, { "type": "modify", "old_id": "e0ae9545cb70b541d4f5c19a9d932648fe82559f", "old_mode": 33188, "old_path": "stage0/src/Lean/MonadEnv.lean", "new_id": "8cc55614bf94e6a2c4ab41824500fef895980996", "new_mode": 33188, "new_path": "stage0/src/Lean/MonadEnv.lean" }, { "type": "modify", "old_id": "6587c17080ffad6e26c7ab1288c3f28a1ac87b26", "old_mode": 33188, "old_path": "stage0/src/Lean/PrettyPrinter/Delaborator/Basic.lean", "new_id": "706a3a9c9e1e7308df7169c78f82544e618bfd3b", "new_mode": 33188, "new_path": "stage0/src/Lean/PrettyPrinter/Delaborator/Basic.lean" }, { "type": "modify", "old_id": "13d253bcc6e97ea42d2dfd251d67bb7a521b6394", "old_mode": 33188, "old_path": "stage0/src/Lean/PrettyPrinter/Delaborator/Builtins.lean", "new_id": "f76528847b0ac337f7e3d4b0d8a3fa1cd04ae019", "new_mode": 33188, "new_path": "stage0/src/Lean/PrettyPrinter/Delaborator/Builtins.lean" }, { "type": "modify", "old_id": "23f75339a3dd7038db69abbdf8bb126d4dc1b321", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/FileWorker.lean", "new_id": "db7bf14f1fa4a07c9a7cc1412f109a8c8d104358", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/FileWorker.lean" }, { "type": "modify", "old_id": "f5f7ca223ade604ec35dfbf7aa12d3d5c609aafa", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/InfoUtils.lean", "new_id": "c81742b9d49e3969692bd8dbe73f5d874fc43926", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/InfoUtils.lean" }, { "type": "modify", "old_id": "98999c8216f9de1b21f1ecf5a81ee416dfe1d4d5", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/Snapshots.lean", "new_id": "e039865c62c240959d440bf2d1ebead2257f7a48", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/Snapshots.lean" }, { "type": "modify", "old_id": "d8ca0939304c3863b139eca08c2eda5f9f0ae8aa", "old_mode": 33188, "old_path": "stage0/src/Lean/Server/Watchdog.lean", "new_id": "6cb4c8d039a08ecc85bfdb497a32b78d8df0b873", "new_mode": 33188, "new_path": "stage0/src/Lean/Server/Watchdog.lean" }, { "type": "modify", "old_id": "a37b3a337fe06a8a6a97aef2cffae54ccf62ae20", "old_mode": 33188, "old_path": "stage0/src/Leanpkg.lean", "new_id": "d4135b95c6240bf00435c708e1b0135db6c5ff7e", "new_mode": 33188, "new_path": "stage0/src/Leanpkg.lean" }, { "type": "modify", "old_id": "f62c07c2c86f0fe5535e68c3e461830a4ffe1d0e", "old_mode": 33188, "old_path": "stage0/src/Leanpkg/Proc.lean", "new_id": "aeb5c05b4436f283ca4de54d7e9c633f14b006e5", "new_mode": 33188, "new_path": "stage0/src/Leanpkg/Proc.lean" }, { "type": "modify", "old_id": "fc379eeefe78093557b474c918cf7a051d72db05", "old_mode": 33188, "old_path": "stage0/src/Leanpkg/Resolve.lean", "new_id": "6afc734be1697883d4c0a92d4541f4b679ea781a", "new_mode": 33188, "new_path": "stage0/src/Leanpkg/Resolve.lean" }, { "type": "modify", "old_id": "bf9c67d815aea3dc6b869e4fdce8fc26a8f2efd4", "old_mode": 33188, "old_path": "stage0/src/runtime/io.cpp", "new_id": "fb2ede5b0778ea760a0e6b1f1048ef752302e7d7", "new_mode": 33188, "new_path": "stage0/src/runtime/io.cpp" }, { "type": "modify", "old_id": "b542d1c68b2dce37242389281cd49d1ccfa5bdec", "old_mode": 33188, "old_path": "stage0/src/runtime/process.cpp", "new_id": "9add8c9254879bc749859bd3ae957ccf115dca84", "new_mode": 33188, "new_path": "stage0/src/runtime/process.cpp" }, { "type": "modify", "old_id": "6b14c569d5ea820b9995fb66c4f81943a219552f", "old_mode": 33188, "old_path": "stage0/src/shell/lean.cpp", "new_id": "f014faaaf8cef9432b0856788394c270b9c8da4d", "new_mode": 33188, "new_path": "stage0/src/shell/lean.cpp" }, { "type": "modify", "old_id": "8765fe22099189ef9b71a67fb975f829bba9e1ca", "old_mode": 33188, "old_path": "stage0/stdlib/CMakeLists.txt", "new_id": "51c5a9ba9f890649f7754e42942263338f46b8e6", "new_mode": 33188, "new_path": "stage0/stdlib/CMakeLists.txt" }, { "type": "modify", "old_id": "c103a5be5f449b01e980eb7491589bbf49c884e9", "old_mode": 33188, "old_path": "stage0/stdlib/Init/Data/String/Basic.c", "new_id": "c2bc7359f3388052a0a5877dd6baa8beda4dc0b3", "new_mode": 33188, "new_path": "stage0/stdlib/Init/Data/String/Basic.c" }, { "type": "modify", "old_id": "55862806af9411ac7a6f22843d69b7d6a0680af5", "old_mode": 33188, "old_path": "stage0/stdlib/Init/SizeOf.c", "new_id": "7bb60f3e42dca7976d02567ab6915b0f55770c4c", "new_mode": 33188, "new_path": "stage0/stdlib/Init/SizeOf.c" }, { "type": "modify", "old_id": "1c8438032f6c91ce722c737c7ca3dae61ff2e7b9", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/FilePath.c", "new_id": "a8de621dae9e25d2af9273fccd2926d124f7d2bb", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/FilePath.c" }, { "type": "modify", "old_id": "320d7c0583b97472fad0bb3ca77fbec4060c6d1e", "old_mode": 33188, "old_path": "stage0/stdlib/Init/System/IO.c", "new_id": "5fef3a63deaa705955235c2b01546bac33507e94", "new_mode": 33188, "new_path": "stage0/stdlib/Init/System/IO.c" }, { "type": "modify", "old_id": "f5f619d56d0cc687562a8f2447f2f34a825a3cec", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/AuxRecursor.c", "new_id": "f0691c415398f1dcadbbb257ea3c1cabf50fb0c3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/AuxRecursor.c" }, { "type": "modify", "old_id": "cd701ff30a94237cf08c3e66fcff413e0bcf6e0f", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c", "new_id": "b5979650bca56828234921e989ca2409f5d43492", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c" }, { "type": "modify", "old_id": "ed5921543a657e715d0fcb15a8e8af705d88dae2", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/App.c", "new_id": "a12ef6c2bb138a810a7590f2f4e9dd44fed7933a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/App.c" }, { "type": "modify", "old_id": "a903aad9b273dd6b62c15eaee115afa1948540de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Binders.c", "new_id": "b0681747da1e222ee167235bc228f964f3cec825", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Binders.c" }, { "type": "modify", "old_id": "467f26e7680abfce89483cb39a95273a8027a077", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c", "new_id": "821c0a60814fce6fc60b405f216f92243e0b82e1", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/BuiltinNotation.c" }, { "type": "modify", "old_id": "2dbc90bc15b143b58e3985d47bf6220999dc7839", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Command.c", "new_id": "c560237e98779ebbbd29c70ea49ece75177c9386", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Command.c" }, { "type": "modify", "old_id": "d3a87892239b8a83e05df5b976522556690bb41b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Declaration.c", "new_id": "48594b407d6589878c496016aca82ea478b7b8a3", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Declaration.c" }, { "type": "modify", "old_id": "885f0d7dfc8f5447c99382e237c2eea18eba9b17", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Do.c", "new_id": "1872c2e178e4e7041312bfa16a6cc2431983c2df", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Do.c" }, { "type": "modify", "old_id": "6055b7667a22bfce99ecf0a0e344acae7b53a1c9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/InfoTree.c", "new_id": "781839992e1642a0e4c3f5e07f6b7c81410af738", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/InfoTree.c" }, { "type": "modify", "old_id": "93c9de20f81bb13cbea94043ff7af4e1795d2cdb", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Match.c", "new_id": "3b2c8ba0a61662a89f1927ae93aa3ac8e541a58b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Match.c" }, { "type": "modify", "old_id": "1dfb09c107879b0e9edc1d10d79b36347ec6790a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c", "new_id": "e6d449252511e444555aa748d028a363a3549129", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Basic.c" }, { "type": "modify", "old_id": "eadc7535faaf4dce4fd140b21215b57a0c1dfc2e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural.c", "new_id": "e71ef2b84ad92545007b1cc1d93338f1c05b9e5f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural.c" }, { "type": "modify", "old_id": "4e8536762361674fa1ab30ed1eb61dbf8e012dc6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Quotation.c", "new_id": "0aea99c03090c41e670a7f5b52d0ce6feaf9b641", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Quotation.c" }, { "type": "modify", "old_id": "2f6960d03a86e865eba1130328bf53649d9a74cf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/StructInst.c", "new_id": "6ed5a3a8a35ad5d83e2a36f07d788c4ac24b1cf5", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/StructInst.c" }, { "type": "modify", "old_id": "bb39c2f3318373a67dc57fd5fd897046a43e69fd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c", "new_id": "b70ab2e475f21d66f4daad11188399424470c629", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c" }, { "type": "modify", "old_id": "8259426ecbee86a4458c13e52eeeff69678bdee0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Elab/Term.c", "new_id": "c0b4b1d0bff675102983dde5298143ba32d81ef7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Elab/Term.c" }, { "type": "modify", "old_id": "69b0d478b6c7ce056ccc62a516f5a4d457ba579a", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Expr.c", "new_id": "30b4fbd6f3a3e33ae2d49b328a46134bccbffb24", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Expr.c" }, { "type": "modify", "old_id": "8a8a4350d76520c8a1d52b008f5e1d1da39255bf", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c", "new_id": "e6324728e5fcd4e53d4172052c72557581c6c8ae", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c" }, { "type": "modify", "old_id": "4090735f92bf62ecaf2aa29db8ea74b02e1d1457", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Message.c", "new_id": "a3c3c8b7f0c226fa7ff6a0bbab52d9457ec5cce7", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Message.c" }, { "type": "modify", "old_id": "0fb3a7dd401c16950a45379e90816060c964d1a0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/AppBuilder.c", "new_id": "9053cb61d18d9f9b99aefc290bf58f75c347c242", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/AppBuilder.c" }, { "type": "modify", "old_id": "2428fc1bd88cb1ecec9a16ac5112b95048912a6e", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Closure.c", "new_id": "f0b1adafccadcd870a2024c8a762702e539a906b", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Closure.c" }, { "type": "modify", "old_id": "683a5fdd86a9c815eda40edc5afaeab7e9f55263", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c", "new_id": "ccfb5896081584934205237c2dca514ccadb1c15", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c" }, { "type": "modify", "old_id": "73f575ba999cc8c9e20793a640c0e05713ca88de", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c", "new_id": "84e8aadece86afea39ee56edf6caa3e24317e182", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Assert.c" }, { "type": "modify", "old_id": "91c297aff8446c5d327dbb2eb84657614451c9fd", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c", "new_id": "d0e2124b788c835a0b83c7ff3c910c4b4098b764", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c" }, { "type": "modify", "old_id": "16dda55faf4f217ebac635b74ae9beeeb5890831", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c", "new_id": "d92d40153c76b579b891073f74e1eab803a2c236", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c" }, { "type": "modify", "old_id": "4558cb35bf5dcda837be37aa883bd6391d65ab36", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Meta/Transform.c", "new_id": "675a4ea532d860a183a6400b2f00099ff830ce0f", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Meta/Transform.c" }, { "type": "modify", "old_id": "b21ed6319e83c2280eb2e178afa212a53e7de11d", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/MonadEnv.c", "new_id": "82d9abb1454eadb2216caa8bd57578a4cb277e9e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/MonadEnv.c" }, { "type": "delete", "old_id": "6f4f894d708b234ee5679f3a99d8c31fd3a45cd9", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Parser/Transform.c", "new_id": "0000000000000000000000000000000000000000", "new_mode": 0, "new_path": "/dev/null" }, { "type": "modify", "old_id": "832272a5b4c23773ad2540e5b63e98644ff9a552", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c", "new_id": "d13e4ebeed5131698e646ce30dac3e58dd4e4865", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Basic.c" }, { "type": "modify", "old_id": "3a2f7907c017666633e0d4c858e20af99d7e163b", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c", "new_id": "b8bd899cd12fe8250188b214af8d233791f2254c", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c" }, { "type": "modify", "old_id": "4e8247cd6f89c97413cbab0f21b375214e340be0", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/FileWorker.c", "new_id": "07244460f96df61c6bfcbf6ef778232cdfc0421a", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/FileWorker.c" }, { "type": "modify", "old_id": "8b56cf073fa2de81998be2b17da9972d418e78e4", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/InfoUtils.c", "new_id": "ad15fb3bc4214a937d5595c74c7b22daf18e9ab2", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/InfoUtils.c" }, { "type": "modify", "old_id": "138502ebd809ec4c659a2820aaf41bffb45ad9d6", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Snapshots.c", "new_id": "d91eff4050fc544ad55e02bfcb5161a3f5c9b224", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Snapshots.c" }, { "type": "modify", "old_id": "620dcf5349ef96061e2c874c141ee0aef690e643", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/Server/Watchdog.c", "new_id": "9a67bfdc49245311329886b8abc0307feebef924", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/Server/Watchdog.c" }, { "type": "modify", "old_id": "dcb1708478416bd7e3f255cfcd66bfeaeab97776", "old_mode": 33188, "old_path": "stage0/stdlib/Lean/ToExpr.c", "new_id": "2bcbc67078d6b5adde49c40bd67038147935b41e", "new_mode": 33188, "new_path": "stage0/stdlib/Lean/ToExpr.c" }, { "type": "modify", "old_id": "effa7ad0b1e48f60e86962147a795289f60edb51", "old_mode": 33188, "old_path": "stage0/stdlib/Leanpkg.c", "new_id": "b7c2bb91cf3666314cda4e9c3b6a8fc705a7ccfa", "new_mode": 33188, "new_path": "stage0/stdlib/Leanpkg.c" }, { "type": "modify", "old_id": "2990bbef0eca973179d4e4b4b01374e3b3396e3c", "old_mode": 33188, "old_path": "stage0/stdlib/Leanpkg/Proc.c", "new_id": "03d4bb66a2c0b582e6d5e531f48e38c9b7106155", "new_mode": 33188, "new_path": "stage0/stdlib/Leanpkg/Proc.c" }, { "type": "modify", "old_id": "914fec4c5db027b1050c6f9ac41f23017dd307db", "old_mode": 33188, "old_path": "stage0/stdlib/Leanpkg/Resolve.c", "new_id": "df973caa2da9018902d8421bf0506f95fd607499", "new_mode": 33188, "new_path": "stage0/stdlib/Leanpkg/Resolve.c" }, { "type": "modify", "old_id": "66f6fe922de5084f8b738b106d38ea1bc496dd0a", "old_mode": 33188, "old_path": "stage0/stdlib/Leanpkg/Toml.c", "new_id": "595a007e26510f02a21eb949b9604e9941e1a30e", "new_mode": 33188, "new_path": "stage0/stdlib/Leanpkg/Toml.c" } ] }