nixsearch
nixsearch / pkg / emacs27Packages.proof-general / 20220209.1726

emacs27Packages.proof-general 20220209.1726

Linux and macOS last changed

Pin this version

$ devbox add emacs27Packages.proof-general@20220209.1726
systemsaarch64-darwin, aarch64-linux commit02177737c5d977444df41e0f5d6124c48c64bba3 
$ nix shell github:NixOS/nixpkgs/02177737c5d977444df41e0f5d6124c48c64bba3#emacs27Packages.proof-general
systemsx86_64-darwin commita4684b5462b6c66dd7ad2a7dfb2e5c1fca5582e4 
$ nix shell github:NixOS/nixpkgs/a4684b5462b6c66dd7ad2a7dfb2e5c1fca5582e4#emacs27Packages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacs27Packages.proof-general 02177737c5d9
out
/nix/store/ndxjwikyhqc6pnf7cs460xdacwsbkh9f-emacs-proof-general-20220209.1726
aarch64-linux
Linux · arm64		 emacs27Packages.proof-general 02177737c5d9
out
/nix/store/6n4bhcqkwrfnjzam36940674iijrrqn1-emacs-proof-general-20220209.1726
x86_64-darwin
macOS · x86-64		 emacs27Packages.proof-general a4684b5462b6
out
/nix/store/lxmpbsgb5dwz8wmg7i2qi5y9n52b1sii-emacs-proof-general-20220209.1726
← newer: 20220310.2253 all 4 releases older: 20211217.1753 →

JSON: /v2/pkg?name=emacs27Packages.proof-general · /v2/resolve?name=emacs27Packages.proof-general&version=20220209.1726