{"name":"emacsPackages.fstar-mode","version":"20250402.820","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/faldnvpnr600qsj1i6zlaky1wk7p1j8r-emacs-fstar-mode-20250402.820","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/fy23bqk09n8giyacq6qr1yp52w7s70cw-emacs-fstar-mode-20250402.820","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/pzhh6wl1qnma9504lrfb1cfw9621fym2-emacs-fstar-mode-20250402.820","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/12wayqw5gl87pbwjadgjzphxnpki0a8w-emacs-fstar-mode-20250402.820","default":true}]}}}