{"name":"emacsPackages.fstar-mode","version":"20230506.1606","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"20bc93ca7b2158ebc99b8cef987a2173a81cde35"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/nc86dpq8kzj5b91xpfrsvvrlvk6rhxps-emacs-fstar-mode-20230506.1606","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/3asm9zywm3sp3p1jsjmvmkj166gyijiq-emacs-fstar-mode-20230506.1606","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"20bc93ca7b2158ebc99b8cef987a2173a81cde35"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/69ski70cn25a4ln27nbzbdvgq768wn5r-emacs-fstar-mode-20230506.1606","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"emacsPackages.fstar-mode"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/v9yqdi3rjd68rrrnqk5b6ibhi79wbq94-emacs-fstar-mode-20230506.1606","default":true}]}}}