nixsearch / pkg / emacs28Packages.proof-general / 20220525.1052
emacs28Packages.proof-general 20220525.1052
Linux and macOS
last changed
Pin this version
$ devbox add emacs28Packages.proof-general@20220525.1052
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit334ec8b503c3981e37a04b817a70e8d026ea9e84
$ nix shell github:NixOS/nixpkgs/334ec8b503c3981e37a04b817a70e8d026ea9e84#emacs28Packages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacs28Packages.proof-general |
334ec8b503c3 | out/nix/store/6krb7ip8vvdb4s1wfnam0n0bzlrxdvz5-emacs-proof-general-20220525.1052 |
||
aarch64-linuxLinux · arm64 |
emacs28Packages.proof-general |
334ec8b503c3 | out/nix/store/hsmri1xm3jf76jyvlk7yaf0k127q74mz-emacs-proof-general-20220525.1052 |
||
x86_64-darwinmacOS · x86-64 |
emacs28Packages.proof-general |
334ec8b503c3 | out/nix/store/bq9lhslssszwf08hbyv2glwwx6gj9r4c-emacs-proof-general-20220525.1052 |
||
x86_64-linuxLinux · x86-64 |
emacs28Packages.proof-general |
334ec8b503c3 | out/nix/store/w1v7c8jkqv9x2ljys1y802scg4iqsmrk-emacs-proof-general-20220525.1052 |
JSON: /v2/pkg?name=emacs28Packages.proof-general · /v2/resolve?name=emacs28Packages.proof-general&version=20220525.1052