{"name":"emacs28Packages.lean-mode","version":"20220501.1007","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.lean-mode"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/px6la648za0i89lsbz46504gl4c0fh84-emacs-lean-mode-20220501.1007","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.lean-mode"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/jpna29z937i73wg4lv5y6l1ipiq05lia-emacs-lean-mode-20220501.1007","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.lean-mode"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/5fzawhj4h37ynk5mg9s8kimclwb1fc8j-emacs-lean-mode-20220501.1007","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.lean-mode"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/ni8bm21hdkp9lgipyi2gkmw2wa51xycb-emacs-lean-mode-20220501.1007","default":true}]}}}