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

emacsPackages.proof-general 20251120.1746

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.proof-general@20251120.1746
systemsaarch64-darwin, x86_64-darwin commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#emacsPackages.proof-general
systemsaarch64-linux, x86_64-linux commit13b0f9e6ac78abbbb736c635d87845c4f4bee51b 
$ nix shell github:NixOS/nixpkgs/13b0f9e6ac78abbbb736c635d87845c4f4bee51b#emacsPackages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.proof-general a1bab9e494f5
out
/nix/store/s4dj0ysshsjdaij3zlz0awzq9jhq3m2k-emacs-proof-general-20251120.1746
aarch64-linux
Linux · arm64		 emacsPackages.proof-general 13b0f9e6ac78
out
/nix/store/mg3kj5b6k4kakz5afnrc6b7cjiwsdf1g-emacs-proof-general-20251120.1746
x86_64-darwin
macOS · x86-64		 emacsPackages.proof-general a1bab9e494f5
out
/nix/store/7y38dc9kdwx78am1fcpn349jzp760i5k-emacs-proof-general-20251120.1746
x86_64-linux
Linux · x86-64		 emacsPackages.proof-general 13b0f9e6ac78
out
/nix/store/r6h4p9g1glrrlrv6hiw1wv4l9s8bn5rh-emacs-proof-general-20251120.1746
← newer: 20260113.1228 all 24 releases older: 20250915.1038 →

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