nixsearch / pkg / emacsPackages.lambdapi-mode
emacsPackages.lambdapi-mode
version20260825.821
attributeemacsPackages.lambdapi-mode
revb6c8664de9b6cc07fe5666a29f91884ba81197c4 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add emacsPackages.lambdapi-mode@20260825.821
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#emacsPackages.lambdapi-mode
JSON: /v2/resolve?name=emacsPackages.lambdapi-mode&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 20260825.821resolved | ✓ | ✓ | – | ✓ | emacsPackages.lambdapi-mode |
b6c8664de9 | ||
| 20260701.916 | ✓ | ✓ | – | ✓ | emacsPackages.lambdapi-mode |
02f5696b0e | ||
| 20260624.735 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
varies | ||
| 20260423.1057 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
173d0ad7a9 | ||
| 20260329.807 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
01fbdeef22 | ||
| 20260203.1712 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
832efc09b4 | ||
| 20250716.1143 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
varies | ||
| 20250707.1800 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
varies | ||
| 20250418.1238 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
varies | ||
| 20250326.1855 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
12a5540765 | ||
| 20250220.1613 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
varies | ||
| 20250125.1144 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
0d534853a5 | ||
| 20250102.959 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
50165c4f7e | ||
| 20241110.1640 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
de1864217b | ||
| 20240729.1656 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
566e53c2ad | ||
| 20240425.941 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
0cb2fd7c59 | ||
| 20240130.1533 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
5fd8536a9a | ||
| 20230728.1221 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
dd7b7a8f7b | ||
| 20230513.1154 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
dfcffbd74f | ||
| 20221228.1622 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
932fc16b26 | ||
| 20220909.1444 | ✓ | ✓ | ✓ | ✓ | emacsPackages.lambdapi-mode |
0a25e2c87e |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.