nixsearch / pkg / emacs27Packages.proof-general
emacs27Packages.proof-general
version20220329.655
attributeemacs27Packages.proof-general
revd08394e7cd5c7431a1e8f53b7f581e74ee909548 · one commit for every system
systemsaarch64-darwin✓ aarch64-linuxx86_64-darwinx86_64-linux
$ devbox add emacs27Packages.proof-general@20220329.655
$ nix shell github:NixOS/nixpkgs/d08394e7cd5c7431a1e8f53b7f581e74ee909548#emacs27Packages.proof-general
JSON: /v2/resolve?name=emacs27Packages.proof-general&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 20220329.655resolved | – | ✓ | – | – | emacs27Packages.proof-general |
d08394e7cd | ||
| 20220310.2253 | ✓ | ✓ | ✓ | – | emacs27Packages.proof-general |
varies | ||
| 20220209.1726 | ✓ | ✓ | ✓ | – | emacs27Packages.proof-general |
varies | ||
| 20211217.1753 | ✓ | ✓ | ✓ | ✓ | emacs27Packages.proof-general |
98bb5b77c8 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.