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

emacsPackages.proof-general 20240223.1405

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.proof-general@20240223.1405
systemsaarch64-darwin, x86_64-darwin commit20bc93ca7b2158ebc99b8cef987a2173a81cde35 
$ nix shell github:NixOS/nixpkgs/20bc93ca7b2158ebc99b8cef987a2173a81cde35#emacsPackages.proof-general
systemsaarch64-linux, x86_64-linux commita3ed7406349a9335cb4c2a71369b697cecd9d351 
$ nix shell github:NixOS/nixpkgs/a3ed7406349a9335cb4c2a71369b697cecd9d351#emacsPackages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.proof-general 20bc93ca7b21
out
/nix/store/3fclnyqbvp0038rfmndsij4ai0fsd3aw-emacs-proof-general-20240223.1405
aarch64-linux
Linux · arm64		 emacsPackages.proof-general a3ed7406349a
out
/nix/store/36hwzc16pg88z7s9ymmw9pymp9jashw9-emacs-proof-general-20240223.1405
x86_64-darwin
macOS · x86-64		 emacsPackages.proof-general 20bc93ca7b21
out
/nix/store/76yzra641fqa6x609wdshrlwy5cd92l6-emacs-proof-general-20240223.1405
x86_64-linux
Linux · x86-64		 emacsPackages.proof-general a3ed7406349a
out
/nix/store/w8v1wjw112w9j0fl1xdzb9js31d6dsi3-emacs-proof-general-20240223.1405
← newer: 20240306.2002 all 24 releases older: 20240123.1014 →

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