nixsearch / pkg / emacsPackages.proof-general / 20240425.939
emacsPackages.proof-general 20240425.939
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20240425.939
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit3f316d2a50699a78afe5e77ca486ad553169061e
$ nix shell github:NixOS/nixpkgs/3f316d2a50699a78afe5e77ca486ad553169061e#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
3f316d2a5069 | out/nix/store/3sx2avlbmpglgi4db5fh2bzfn84qsm6b-emacs-proof-general-20240425.939 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
3f316d2a5069 | out/nix/store/jdkpmspw64q227ys45bxssky03g5y1js-emacs-proof-general-20240425.939 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.proof-general |
3f316d2a5069 | out/nix/store/plnfdmb83ycrmqc6yig7smb61s568n92-emacs-proof-general-20240425.939 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
3f316d2a5069 | out/nix/store/0jn8w09riac3qh3x429mkx0aidlp7iqi-emacs-proof-general-20240425.939 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20240425.939