nixsearch
nixsearch / pkg / emacsPackages.lambdapi-mode

emacsPackages.lambdapi-mode

github.com emacsPackages.lambdapi-mode 21 releases newest changed
emacsPackages.lambdapi-mode@ latest, 3.11, ^3.11, >=3.10 <3.12
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
Versionarm
mac
arm
linux
x86
mac
x86
linux
AttributeCommitDateOutputs
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.