nixsearch
nixsearch / pkg / emacsPackages.fstar-mode / 20250201.28

emacsPackages.fstar-mode 20250201.28

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.fstar-mode@20250201.28
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit63158b9cbb6ec93d26255871c447b0f01da81619 
$ nix shell github:NixOS/nixpkgs/63158b9cbb6ec93d26255871c447b0f01da81619#emacsPackages.fstar-mode
systemsx86_64-darwin commitbd3bac8bfb542dbde7ffffb6987a1a1f9d41699f 
$ nix shell github:NixOS/nixpkgs/bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f#emacsPackages.fstar-mode

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.fstar-mode 63158b9cbb6e
out
/nix/store/hqk1svhfcd3jzkglxk2s85igyqymiljr-emacs-fstar-mode-20250201.28
aarch64-linux
Linux · arm64		 emacsPackages.fstar-mode 63158b9cbb6e
out
/nix/store/yqjr4zlmh5i6xkg3szwnw7izg2agbp2z-emacs-fstar-mode-20250201.28
x86_64-darwin
macOS · x86-64		 emacsPackages.fstar-mode bd3bac8bfb54
out
/nix/store/4frzasp1i0cjr60krjf1inhadxa8ddzx-emacs-fstar-mode-20250201.28
x86_64-linux
Linux · x86-64		 emacsPackages.fstar-mode 63158b9cbb6e
out
/nix/store/k4fqdz92w3h3fj4lsyv32zgqdjpdv5gk-emacs-fstar-mode-20250201.28
← newer: 20250402.820 all 6 releases older: 20240312.1632 →

JSON: /v2/pkg?name=emacsPackages.fstar-mode · /v2/resolve?name=emacsPackages.fstar-mode&version=20250201.28