{"name":"emacsPackages.fstar-mode","version":"20240312.1632","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/pslb1ipj02hnn98m661nfwbgf8ih2708-emacs-fstar-mode-20240312.1632","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/xxm4w2gn2jyrw208m6xgwbafnsswirsw-emacs-fstar-mode-20240312.1632","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/i7qccbsgrhzk4jdk5dxaj95x1r3pb9yi-emacs-fstar-mode-20240312.1632","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/r6vd27j5dg9i5b3syih1yyg0msvyphmv-emacs-fstar-mode-20240312.1632","default":true}]}}}