nixsearch / pkg / emacsPackages.proof-general / 20250623.2108
emacsPackages.proof-general 20250623.2108
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20250623.2108
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25
$ nix shell github:NixOS/nixpkgs/8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
8b5c9dd8856f | out/nix/store/iw8xwwwq3h68cdn4vn0331hc128sfv0g-emacs-proof-general-20250623.2108 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
8b5c9dd8856f | out/nix/store/mbk0csydlc9ym224x2kfvy0awbs3rr8y-emacs-proof-general-20250623.2108 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.proof-general |
8b5c9dd8856f | out/nix/store/ys2zn280vk6nl8xpz373wf8yx1kvh3mx-emacs-proof-general-20250623.2108 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
8b5c9dd8856f | out/nix/store/484a3d7hc8dfrdh17k4wsk6wlmwpmx47-emacs-proof-general-20250623.2108 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20250623.2108