{"name":"emacsPackages.fstar-mode","version":"20250201.28","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"63158b9cbb6ec93d26255871c447b0f01da81619"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/hqk1svhfcd3jzkglxk2s85igyqymiljr-emacs-fstar-mode-20250201.28","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"63158b9cbb6ec93d26255871c447b0f01da81619"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/yqjr4zlmh5i6xkg3szwnw7izg2agbp2z-emacs-fstar-mode-20250201.28","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/4frzasp1i0cjr60krjf1inhadxa8ddzx-emacs-fstar-mode-20250201.28","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"63158b9cbb6ec93d26255871c447b0f01da81619"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/k4fqdz92w3h3fj4lsyv32zgqdjpdv5gk-emacs-fstar-mode-20250201.28","default":true}]}}}