{"name":"emacs28Packages.lean-mode","summary":"","description":"","homepage_url":"https://github.com/leanprover/lean-mode","license":"","attribute_paths":["emacs28Packages.lean-mode"],"releases":[{"version":"20220501.1007","last_updated":"2022-10-22T16:07:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.lean-mode","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/px6la648za0i89lsbz46504gl4c0fh84-emacs-lean-mode-20220501.1007","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.lean-mode","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/jpna29z937i73wg4lv5y6l1ipiq05lia-emacs-lean-mode-20220501.1007","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.lean-mode","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/5fzawhj4h37ynk5mg9s8kimclwb1fc8j-emacs-lean-mode-20220501.1007","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs28Packages.lean-mode","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/ni8bm21hdkp9lgipyi2gkmw2wa51xycb-emacs-lean-mode-20220501.1007","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220124.1813","last_updated":"2022-05-09T14:04:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.lean-mode","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/gijnzd0czrw37ckvzm73m9f4gw9xdms6-emacs-lean-mode-20220124.1813","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.lean-mode","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/vi4xnf3gjvjyzh9v442k2m45rkdzf53j-emacs-lean-mode-20220124.1813","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.lean-mode","commit_hash":"d59a6c12647f8a31dda38599c2fde734ade198a8","date":"2022-05-09T14:04:44Z","outputs":[{"name":"out","path":"/nix/store/frc7x460xf6d8rdnm2girn805m4bk8z5-emacs-lean-mode-20220124.1813","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}