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

emacsPackages.proof-general 20260113.1228

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.proof-general@20260113.1228
systemsaarch64-darwin, x86_64-darwin commit80d901ec0377e19ac3f7bb8c035201e2e098cc97 
$ nix shell github:NixOS/nixpkgs/80d901ec0377e19ac3f7bb8c035201e2e098cc97#emacsPackages.proof-general
systemsaarch64-linux, x86_64-linux commitc0f3d81a7ddbc2b1332be0d8481a672b4f6004d6 
$ nix shell github:NixOS/nixpkgs/c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6#emacsPackages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.proof-general 80d901ec0377
out
/nix/store/mn4j9ra9nhrgdfns5l1ysvxivw71mpkj-emacs-proof-general-20260113.1228
aarch64-linux
Linux · arm64		 emacsPackages.proof-general c0f3d81a7ddb
out
/nix/store/8d5a3flghpnrf9p6rypf6yzk9p1ng6fh-emacs-proof-general-20260113.1228
x86_64-darwin
macOS · x86-64		 emacsPackages.proof-general 80d901ec0377
out
/nix/store/n2ri35m0s4712cm36wwfn66llzfc920i-emacs-proof-general-20260113.1228
x86_64-linux
Linux · x86-64		 emacsPackages.proof-general c0f3d81a7ddb
out
/nix/store/bphnag6gwr8ng5g07h63kv37z78dhczl-emacs-proof-general-20260113.1228
← newer: 20260124.1351 all 24 releases older: 20251120.1746 →

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