nixsearch / pkg / emacsPackages.proof-general / 20230414.931
emacsPackages.proof-general 20230414.931
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20230414.931
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit517501bcf14ae6ec47efd6a17dda0ca8e6d866f9
$ nix shell github:NixOS/nixpkgs/517501bcf14ae6ec47efd6a17dda0ca8e6d866f9#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
517501bcf14a | out/nix/store/h514mx9icv0rwn85sz2pbflw4l9rin52-emacs-proof-general-20230414.931 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
517501bcf14a | out/nix/store/m61zmbxd304dmn7w4smbj80hixwgs6jl-emacs-proof-general-20230414.931 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.proof-general |
517501bcf14a | out/nix/store/jlkjp4sl755rj6kyslav9vbz74nbxmbb-emacs-proof-general-20230414.931 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
517501bcf14a | out/nix/store/cwzgn723w5sb4zhv9rpwc448r3r4mmm7-emacs-proof-general-20230414.931 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20230414.931