nixsearch / pkg / emacsPackages.proof-general / 20220930.1309
emacsPackages.proof-general 20220930.1309
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20220930.1309
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit0a25e2c87e784bf7e06e7833ec0e06d34836959a
$ nix shell github:NixOS/nixpkgs/0a25e2c87e784bf7e06e7833ec0e06d34836959a#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
0a25e2c87e78 | out/nix/store/r3ii69djlg6qnzk1hvji340n3l801jvd-emacs-proof-general-20220930.1309 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
0a25e2c87e78 | out/nix/store/wwrfcv2j2kmffn4hr5hxb9353093jr96-emacs-proof-general-20220930.1309 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.proof-general |
0a25e2c87e78 | out/nix/store/h0awkqmpz05ybqybzq7x2gqf75lysskr-emacs-proof-general-20220930.1309 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
0a25e2c87e78 | out/nix/store/dxs4mq956lsky4fywa6gsnzb0aid89rm-emacs-proof-general-20220930.1309 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20220930.1309