nixsearch
nixsearch / pkg / emacsPackages.proof-general / 20250527.1439

emacsPackages.proof-general 20250527.1439

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.proof-general@20250527.1439
systemsaarch64-darwin, x86_64-darwin commit2a2130494ad647f953593c4e84ea4df839fbd68c 
$ nix shell github:NixOS/nixpkgs/2a2130494ad647f953593c4e84ea4df839fbd68c#emacsPackages.proof-general
systemsaarch64-linux, x86_64-linux commit992f916556fcfaa94451ebc7fc6e396134bbf5b1 
$ nix shell github:NixOS/nixpkgs/992f916556fcfaa94451ebc7fc6e396134bbf5b1#emacsPackages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.proof-general 2a2130494ad6
out
/nix/store/45s02bnv4504x72414ak8dynb3cd2yy3-emacs-proof-general-20250527.1439
aarch64-linux
Linux · arm64		 emacsPackages.proof-general 992f916556fc
out
/nix/store/n6dbbl20s1d3q8jgsny567p84nykb0bn-emacs-proof-general-20250527.1439
x86_64-darwin
macOS · x86-64		 emacsPackages.proof-general 2a2130494ad6
out
/nix/store/vim4n3c0j4zshhx7rfa2jm8hax9cqc2b-emacs-proof-general-20250527.1439
x86_64-linux
Linux · x86-64		 emacsPackages.proof-general 992f916556fc
out
/nix/store/v7g14b57qm2r5jayd1xm6mv694hg1wah-emacs-proof-general-20250527.1439
← newer: 20250623.2108 all 24 releases older: 20250516.913 →

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