)]}'
{
  "commit": "46cd7da01114c553a094adca2f3d0c0c2761a7ae",
  "tree": "8358bfdef4f9acb2d77ae705e1b544d40baa423a",
  "parents": [
    "2b7427c962ddab1fc28c9b1f933947b5f7cd60cb"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 01 10:29:43 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 04 18:37:12 2022 +0100"
  },
  "message": "chore: remove leanpkg\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d0f0c347f5b37d42df101f82d09a74929b4928e8",
      "old_mode": 33188,
      "old_path": "RELEASES.md",
      "new_id": "5942df7aee06aaf8e51413ae2a638b35357a3d74",
      "new_mode": 33188,
      "new_path": "RELEASES.md"
    },
    {
      "type": "modify",
      "old_id": "fa061fc31505691aafa20e2db58d33133fac5f15",
      "old_mode": 33188,
      "old_path": "doc/dev/testing.md",
      "new_id": "77f945054332b4e5c3b237ada0621703a0b8ceb4",
      "new_mode": 33188,
      "new_path": "doc/dev/testing.md"
    },
    {
      "type": "modify",
      "old_id": "d0e1f9563558014042cb1ee51ae8919bdafe9755",
      "old_mode": 33188,
      "old_path": "doc/setup.md",
      "new_id": "9783f62d0d6db1df295c631852cd5541d0b5b468",
      "new_mode": 33188,
      "new_path": "doc/setup.md"
    },
    {
      "type": "modify",
      "old_id": "6a1f8907515079613136b9bb3ac3226821f623ee",
      "old_mode": 33188,
      "old_path": "nix/bootstrap.nix",
      "new_id": "e6593ec8a04c888405f9f2f7ed8b5dcdded82697",
      "new_mode": 33188,
      "new_path": "nix/bootstrap.nix"
    },
    {
      "type": "modify",
      "old_id": "86a7c251cc839629dc0071f7de8da869c8e03b80",
      "old_mode": 33188,
      "old_path": "nix/packages.nix",
      "new_id": "b7ac881bf407dea6a06ad9b7f35383f0798380e8",
      "new_mode": 33188,
      "new_path": "nix/packages.nix"
    },
    {
      "type": "modify",
      "old_id": "0852b9f1c52a40d8a4b63dfca00816ca4082f702",
      "old_mode": 33188,
      "old_path": "src/CMakeLists.txt",
      "new_id": "ba3bbf1b3006c2f35eedd73dd61974cd206af967",
      "new_mode": 33188,
      "new_path": "src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "31acbe4d3c83b00db208568b082a47db2e2d4b7e",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker.lean",
      "new_id": "b33e0bd4d2c9eff413dd2576ea2a464b7987864c",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker.lean"
    },
    {
      "type": "delete",
      "old_id": "b62f4dcf7714a8145651e9577e42785cd6e91dfb",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "49580f5645c0f0ac3d61b81dfb09a52045fd9f4f",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/Build.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a323e6cbb82aeb545ed06344974876d513428ba6",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/Git.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "b1cfeb72089ff89b440b062a1178c537d615303c",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/LeanVersion.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "15e86131608f3fd00fae457b922024d489decc1a",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/Manifest.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "cd4db43195a73b3846a9be6b6adaa65f161f3e71",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/Proc.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "f81712cc9c2568ee37376f4f22d4eadc47b980b2",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/Resolve.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "4a3f7173e22ad43ebf87316d3a1683cb1ae7e57a",
      "old_mode": 33188,
      "old_path": "src/Leanpkg/Toml.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "e61d47f927dab62da390a5d81df19717758b6910",
      "old_mode": 33188,
      "old_path": "src/shell/CMakeLists.txt",
      "new_id": "d8c9a40ec35cad4b6f79febbc039eba0dc12351c",
      "new_mode": 33188,
      "new_path": "src/shell/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "0bc4c1fee354496328a501f3625e325182188309",
      "old_mode": 33188,
      "old_path": "src/stdlib.make.in",
      "new_id": "72f0278e7a9b4c6886deb7f8aaacd5e792591360",
      "new_mode": 33188,
      "new_path": "src/stdlib.make.in"
    },
    {
      "type": "modify",
      "old_id": "9525befc816f0c44949fcca99d4c529437b47178",
      "old_mode": 33188,
      "old_path": "tests/bench/cross.nix",
      "new_id": "ae0f29b53d481b2191f62c83fd43128b220fd341",
      "new_mode": 33188,
      "new_path": "tests/bench/cross.nix"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/a/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7ee5f376002da78e37192e9e4ebe5988c08197ad",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/a/A.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "123e4c53fb6cdba041664411bde2d12e3c70a7fe",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/a/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/b/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "fc5594b7a61c85aea7dd5cca2559c8bada116c48",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/b/B.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7ca89339f6a1657b9797f5a30c3b089102942d40",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/b/B/Bar.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "4823066822f7a63ac154dbcbf0fbf6bc8ab1c511",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/b/B/Baz.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "060b281a849c182b41e8941da1fcd81219cb0c62",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/b/B/Foo.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "4dfec95d814a0c882a41fc147e273fce294f0968",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/b/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/builtin_attr/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "28b59b34724068b78659ec1cd3359c1a1dd78b3c",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/builtin_attr/UserAttr.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "76870872c46d508ef0e5c0acd53dac931f76e6cf",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/builtin_attr/UserAttr/Tst.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "155f689776372a768453c14815af2139ed0c17cd",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/builtin_attr/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "5af4f224d95231cffe6adfe49d145aef68b8d0ea",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/cyclic/Cyclic.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "31d5d96dcc615c0f58e496b325126334679486fe",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/cyclic/Cyclic/A.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "41c84985d2a232f841b90aa4306f44b57431b12f",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/cyclic/Cyclic/A/B.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "8f7f2d5db653b0951979beeae19e46b985df5e20",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/cyclic/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "92d1187af17264d7c1c97b973c0532a6729f4bd7",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/deriving/UserDeriving.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "23026e847a7c1eb02abcd73ac5d1d1788d396f16",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/deriving/UserDeriving/Simple.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "51970ac3d99c7fe52751c457765407b489f4e28d",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/deriving/UserDeriving/Tst.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "bc4f17da39bb262ed44e18edf17fd6af70ef28a8",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/deriving/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7d4ffe350960870ada3da02ec5aa8e875409797a",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/prv/Prv.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "5a386ecd88a24c9f3b4373550fc0fa518621b97d",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/prv/Prv/Foo.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "f9c5e825ef48810213314dde9f286dc48bc9d8e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/prv/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "ec633fea1cf11530674f0079ad6b9011e757778e",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr/UserAttr.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7314fc152b60f544da98d9ffdc827b998f2a44a8",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr/UserAttr/BlaAttr.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "f80db320f8829ecc77baf8af2620ab5063614121",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr/UserAttr/Tst.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "155f689776372a768453c14815af2139ed0c17cd",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr_app/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7314fc152b60f544da98d9ffdc827b998f2a44a8",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr_app/UserAttr/BlaAttr.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "f80db320f8829ecc77baf8af2620ab5063614121",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr_app/UserAttr/Tst.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "155f689776372a768453c14815af2139ed0c17cd",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_attr_app/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "b8531c360c5ad1f79c862bd0580aa36bae719a4d",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/UserExt.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "5284117fe934c6afb76aa37d99edd693f9d53a8d",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/UserExt/BlaExt.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "686ec53f824b3203b0078e5bd285f553d8d88784",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/UserExt/FooExt.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "9c15cbfac203c0dbf4ab8c3c7372620565c1c19f",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/UserExt/Tst1.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "c7743d2044b769e05019d30a12bc32fe9bbf9563",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/UserExt/Tst2.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "2606dd26d397e156e218e856058d67489e95e0ef",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_ext/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "796b96d1c402326528b4ba3c12ee9d92d0e212e9",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_opt/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "6a4ef2093cf58210a02178277116de956b21998d",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_opt/UserOpt.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "9b656a13ebd437435d31c495103598acdd7515e4",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_opt/UserOpt/Opts.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "3fdce28bf6f7a235fe99cd943977540aa4d0766d",
      "old_mode": 33188,
      "old_path": "tests/leanpkg/user_opt/leanpkg.toml",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    }
  ]
}