nixsearch / pkg / emacs27Packages.proof-general / 20211217.1753
emacs27Packages.proof-general 20211217.1753
Linux and macOS
last changed
Pin this version
$ devbox add emacs27Packages.proof-general@20211217.1753
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit98bb5b77c8c6666824a4c13d23befa1e07210ef1
$ nix shell github:NixOS/nixpkgs/98bb5b77c8c6666824a4c13d23befa1e07210ef1#emacs27Packages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacs27Packages.proof-general |
98bb5b77c8c6 | out/nix/store/m3aqza54vxqrvfiidg3qy5inxl6ghg70-emacs-proof-general-20211217.1753 |
||
aarch64-linuxLinux · arm64 |
emacs27Packages.proof-general |
98bb5b77c8c6 | out/nix/store/ipjywf11l3ai5vf10y3xwbs97lankgam-emacs-proof-general-20211217.1753 |
||
x86_64-darwinmacOS · x86-64 |
emacs27Packages.proof-general |
98bb5b77c8c6 | out/nix/store/9gkk62c5y8rxi34nmhjsyy631bxjdvcv-emacs-proof-general-20211217.1753 |
||
x86_64-linuxLinux · x86-64 |
emacs27Packages.proof-general |
98bb5b77c8c6 | out/nix/store/f5clq1jh6jd8vb1c2l9wfwflzkhxhhac-emacs-proof-general-20211217.1753 |
JSON: /v2/pkg?name=emacs27Packages.proof-general · /v2/resolve?name=emacs27Packages.proof-general&version=20211217.1753