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

emacsPackages.proof-general 20260622.1503

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.proof-general@20260622.1503
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7 
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#emacsPackages.proof-general
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#emacsPackages.proof-general

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.proof-general 02f5696b0e60
out
/nix/store/1yrhwvdpmdyjxnngrmb199198xx83gik-emacs-proof-general-20260622.1503
aarch64-linux
Linux · arm64		 emacsPackages.proof-general 02f5696b0e60
out
/nix/store/njhyd8igllnm7p66554advg5p5nf1v22-emacs-proof-general-20260622.1503
x86_64-darwin
macOS · x86-64		 emacsPackages.proof-general 05988b07fb05
out
/nix/store/jx6l1j4mbxvzs8rdya1wg5flhl53qw53-emacs-proof-general-20260622.1503
x86_64-linux
Linux · x86-64		 emacsPackages.proof-general 02f5696b0e60
out
/nix/store/4kj8vwf48av8dcdyp34g4qiwxhzp2klg-emacs-proof-general-20260622.1503
← newer: 20260825.1221 all 24 releases older: 20260124.1351 →

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