nixsearch / pkg / emacs28Packages.lean-mode / 20220501.1007
emacs28Packages.lean-mode 20220501.1007
Linux and macOS
last changed
Pin this version
$ devbox add emacs28Packages.lean-mode@20220501.1007
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit31acb601e388eb7d552f137dbe5cb4677fdf1c3c
$ nix shell github:NixOS/nixpkgs/31acb601e388eb7d552f137dbe5cb4677fdf1c3c#emacs28Packages.lean-mode
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacs28Packages.lean-mode |
31acb601e388 | out/nix/store/px6la648za0i89lsbz46504gl4c0fh84-emacs-lean-mode-20220501.1007 |
||
aarch64-linuxLinux · arm64 |
emacs28Packages.lean-mode |
31acb601e388 | out/nix/store/jpna29z937i73wg4lv5y6l1ipiq05lia-emacs-lean-mode-20220501.1007 |
||
x86_64-darwinmacOS · x86-64 |
emacs28Packages.lean-mode |
31acb601e388 | out/nix/store/5fzawhj4h37ynk5mg9s8kimclwb1fc8j-emacs-lean-mode-20220501.1007 |
||
x86_64-linuxLinux · x86-64 |
emacs28Packages.lean-mode |
31acb601e388 | out/nix/store/ni8bm21hdkp9lgipyi2gkmw2wa51xycb-emacs-lean-mode-20220501.1007 |
JSON: /v2/pkg?name=emacs28Packages.lean-mode · /v2/resolve?name=emacs28Packages.lean-mode&version=20220501.1007