nixsearch / pkg / emacsPackages.agda-input

emacsPackages.agda-input

Standalone package providing the agda-input method without building Agda

MIT hackage.haskell.org emacsPackages.agda-input 5 releases newest changed 2 years ago

version2.6.4.3 attributeemacsPackages.agda-input revb60793b86201040d9dee019a05089a9150d08b5b 2024-07-07 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add emacsPackages.agda-input@2.6.4.3

$ nix shell github:NixOS/nixpkgs/b60793b86201040d9dee019a05089a9150d08b5b#emacsPackages.agda-input

JSON: /v2/resolve?name=emacsPackages.agda-input&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
2.6.4.3resolved	✓	✓	✓	✓	`emacsPackages.agda-input`	b60793b862	2024-07-07
2.6.4.1	✓	✓	✓	✓	`emacsPackages.agda-input`	varies	2024-03-23
2.6.4	✓	✓	✓	✓	`emacsPackages.agda-input`	fd04bea4cb	2023-12-13
2.6.3	✓	✓	✓	✓	`emacsPackages.agda-input`	75a52265bd	2023-10-25
2.6.2.2	✓	✓	✓	✓	`emacsPackages.agda-input`	0a25e2c87e	2023-02-14

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.