nixsearch / pkg / emacsPackages.proof-general / 20250915.1038
emacsPackages.proof-general 20250915.1038
Linux and macOS
last changed
Pin this version
$ devbox add emacsPackages.proof-general@20250915.1038
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#emacsPackages.proof-general
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
emacsPackages.proof-general |
ee09932cedce | out/nix/store/kslxypf2s9bh7iha8k78dah6xwpzdmri-emacs-proof-general-20250915.1038 |
||
aarch64-linuxLinux · arm64 |
emacsPackages.proof-general |
ee09932cedce | out/nix/store/68nj8hqmcr227i8w7k01wmi16v1939y2-emacs-proof-general-20250915.1038 |
||
x86_64-darwinmacOS · x86-64 |
emacsPackages.proof-general |
ee09932cedce | out/nix/store/wvfq5l7311vrw4hd8kbd665m110l03br-emacs-proof-general-20250915.1038 |
||
x86_64-linuxLinux · x86-64 |
emacsPackages.proof-general |
ee09932cedce | out/nix/store/xg7f5sqx94z0rwn2fl902j54nds2gvg3-emacs-proof-general-20250915.1038 |
JSON: /v2/pkg?name=emacsPackages.proof-general · /v2/resolve?name=emacsPackages.proof-general&version=20250915.1038