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

emacsPackages.proof-general 20250516.913

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.proof-general@20250516.913
systemsaarch64-darwin, x86_64-darwin commit359c442b7d1f6229c1dc978116d32d6c07fe8440 
$ nix shell github:NixOS/nixpkgs/359c442b7d1f6229c1dc978116d32d6c07fe8440#emacsPackages.proof-general
systemsaarch64-linux, x86_64-linux commitbdc995d3e97cec29eacc8fbe87e66edfea26b861 
$ nix shell github:NixOS/nixpkgs/bdc995d3e97cec29eacc8fbe87e66edfea26b861#emacsPackages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.proof-general 359c442b7d1f
out
/nix/store/v6k5aw8018yzcly9cw1rkpm7gzd0zpfv-emacs-proof-general-20250516.913
aarch64-linux
Linux · arm64		 emacsPackages.proof-general bdc995d3e97c
out
/nix/store/v9k8hlf73rgq70p65kmvmasiwkk34qdg-emacs-proof-general-20250516.913
x86_64-darwin
macOS · x86-64		 emacsPackages.proof-general 359c442b7d1f
out
/nix/store/3rwbw2rwvzqdwyahx96fran8n7a5hrd3-emacs-proof-general-20250516.913
x86_64-linux
Linux · x86-64		 emacsPackages.proof-general bdc995d3e97c
out
/nix/store/8qihkykvdia53ppy7fvxj3a1vzap19w8-emacs-proof-general-20250516.913
← newer: 20250527.1439 all 24 releases older: 20250402.804 →

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