nixsearch / pkg / emacsPackages.proof-general / 20240123.1014
emacsPackages.proof-general 20240123.1014
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20240123.1014
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit9a9dae8f6319600fa9aebde37f340975cab4b8c0
$ nix shell github:NixOS/nixpkgs/9a9dae8f6319600fa9aebde37f340975cab4b8c0#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
9a9dae8f6319 | out/nix/store/fw4pki7gaxwmwad6b119n2rmza62r5wp-emacs-proof-general-20240123.1014 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
9a9dae8f6319 | out/nix/store/0x58q6br6n95rks6hlimzy5jvn63iwdh-emacs-proof-general-20240123.1014 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.proof-general |
9a9dae8f6319 | out/nix/store/wcldvc80b0nbx8sfaps8m23dj47rqq8z-emacs-proof-general-20240123.1014 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
9a9dae8f6319 | out/nix/store/4i9alqya7vjajpvx3wsik6w45dj926b7-emacs-proof-general-20240123.1014 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20240123.1014