nixsearch / pkg / emacsPackages.lambdapi-mode / 20241110.1640
emacsPackages.lambdapi-mode 20241110.1640
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.lambdapi-mode@20241110.1640
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitde1864217bfa9b5845f465e771e0ecb48b30e02d
$ nix shell github:NixOS/nixpkgs/de1864217bfa9b5845f465e771e0ecb48b30e02d#emacsPackages.lambdapi-mode
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.lambdapi-mode |
de1864217bfa | out/nix/store/1pi5nbnx4mm061wmr0vpaq1506awrm8b-emacs-lambdapi-mode-20241110.1640 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.lambdapi-mode |
de1864217bfa | out/nix/store/1x993nxyxav3s90i5jqzdpqa7fg3qr6r-emacs-lambdapi-mode-20241110.1640 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.lambdapi-mode |
de1864217bfa | out/nix/store/346j090mzx9j1w63fyipj02553x0726d-emacs-lambdapi-mode-20241110.1640 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.lambdapi-mode |
de1864217bfa | out/nix/store/di81fhg4pipzr9mbsl809jvv2ibivmf3-emacs-lambdapi-mode-20241110.1640 |
JSON: /v2/pkg?name=emacsPackages.lambdapi-mode · /v2/resolve?name=emacsPackages.lambdapi-mode&version=20241110.1640