nixsearch / pkg / emacsPackages.proof-general / 20260825.1221
emacsPackages.proof-general 20260825.1221
Linux and macOS (Apple Silicon only)
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20260825.1221
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
b6c8664de9b6 | out/nix/store/gg0b92b90l3d7wicg4qmi16w2649slg6-emacs-proof-general-20260825.1221 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
b6c8664de9b6 | out/nix/store/wvyk2ggvsng402w1x0ddcv1f86sq8rgv-emacs-proof-general-20260825.1221 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
b6c8664de9b6 | out/nix/store/8mqhvcqjfpljpxay1hf2x7hdpjxv4kd0-emacs-proof-general-20260825.1221 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20260825.1221