nixsearch
nixsearch / pkg / emacs27Packages.lean-mode / 20220124.1813

emacs27Packages.lean-mode 20220124.1813

Linux and macOS last changed

Pin this version

$ devbox add emacs27Packages.lean-mode@20220124.1813
systemsaarch64-darwin, x86_64-darwin commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5 
$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#emacs27Packages.lean-mode
systemsaarch64-linux commitd08394e7cd5c7431a1e8f53b7f581e74ee909548 
$ nix shell github:NixOS/nixpkgs/d08394e7cd5c7431a1e8f53b7f581e74ee909548#emacs27Packages.lean-mode
systemsx86_64-linux commit98bb5b77c8c6666824a4c13d23befa1e07210ef1 
$ nix shell github:NixOS/nixpkgs/98bb5b77c8c6666824a4c13d23befa1e07210ef1#emacs27Packages.lean-mode

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacs27Packages.lean-mode 4c3c80df545e
out
/nix/store/6r7lhd9l6vv7bn5s28sqa93hhjrldmdx-emacs-lean-mode-20220124.1813
aarch64-linux
Linux · arm64		 emacs27Packages.lean-mode d08394e7cd5c
out
/nix/store/9sa6xz952f86spcdzmnw4s7zfzrr5k0p-emacs-lean-mode-20220124.1813
x86_64-darwin
macOS · x86-64		 emacs27Packages.lean-mode 4c3c80df545e
out
/nix/store/57zyl57h5jngqb7qph608qfgm9k2j8xh-emacs-lean-mode-20220124.1813
x86_64-linux
Linux · x86-64		 emacs27Packages.lean-mode 98bb5b77c8c6
out
/nix/store/79dq8d7sa42dvpmp3q2kds1hbqsj9404-emacs-lean-mode-20220124.1813
all 1 releases

JSON: /v2/pkg?name=emacs27Packages.lean-mode · /v2/resolve?name=emacs27Packages.lean-mode&version=20220124.1813