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

emacsPackages.fstar-mode 20250402.820

Linux and macOS last changed

Pin this version

$ devbox add emacsPackages.fstar-mode@20250402.820
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#emacsPackages.fstar-mode
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#emacsPackages.fstar-mode

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 emacsPackages.fstar-mode b6c8664de9b6
out
/nix/store/v8i43gg2vijblb5nygjx6b2708yhb9s9-emacs-fstar-mode-20250402.820
aarch64-linux
Linux · arm64		 emacsPackages.fstar-mode b6c8664de9b6
out
/nix/store/dsl0mql5cakm08zaky10f8y9vpmp4gqd-emacs-fstar-mode-20250402.820
x86_64-darwin
macOS · x86-64		 emacsPackages.fstar-mode 05988b07fb05
out
/nix/store/pzhh6wl1qnma9504lrfb1cfw9621fym2-emacs-fstar-mode-20250402.820
x86_64-linux
Linux · x86-64		 emacsPackages.fstar-mode b6c8664de9b6
out
/nix/store/ssx10ifxr2c60i43m12hc7gahxab7lbr-emacs-fstar-mode-20250402.820
all 6 releases older: 20250201.28 →

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