nixsearch / pkg / emacs27Packages.proof-general / 20220329.655
emacs27Packages.proof-general 20220329.655
Linux
last changed
Pin this version
$ devbox add emacs27Packages.proof-general@20220329.655
$ nix shell github:NixOS/nixpkgs/d08394e7cd5c7431a1e8f53b7f581e74ee909548#emacs27Packages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-linuxLinux · arm64 |
emacs27Packages.proof-general |
d08394e7cd5c | out/nix/store/nf915rdb1wsp5jlz0qrz0n1j0667zq81-emacs-proof-general-20220329.655 |
JSON: /v2/pkg?name=emacs27Packages.proof-general · /v2/resolve?name=emacs27Packages.proof-general&version=20220329.655