{"name":"emacsPackages.fstar-mode","summary":"","description":"","homepage_url":"https://github.com/FStarLang/fstar-mode.el","license":"","attribute_paths":["emacsPackages.fstar-mode"],"releases":[{"version":"20250402.820","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/v8i43gg2vijblb5nygjx6b2708yhb9s9-emacs-fstar-mode-20250402.820","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/dsl0mql5cakm08zaky10f8y9vpmp4gqd-emacs-fstar-mode-20250402.820","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/pzhh6wl1qnma9504lrfb1cfw9621fym2-emacs-fstar-mode-20250402.820","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ssx10ifxr2c60i43m12hc7gahxab7lbr-emacs-fstar-mode-20250402.820","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250201.28","last_updated":"2025-03-30T07:43:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/hqk1svhfcd3jzkglxk2s85igyqymiljr-emacs-fstar-mode-20250201.28","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/yqjr4zlmh5i6xkg3szwnw7izg2agbp2z-emacs-fstar-mode-20250201.28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/4frzasp1i0cjr60krjf1inhadxa8ddzx-emacs-fstar-mode-20250201.28","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/k4fqdz92w3h3fj4lsyv32zgqdjpdv5gk-emacs-fstar-mode-20250201.28","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240312.1632","last_updated":"2025-02-07T11:26:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/pslb1ipj02hnn98m661nfwbgf8ih2708-emacs-fstar-mode-20240312.1632","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/xxm4w2gn2jyrw208m6xgwbafnsswirsw-emacs-fstar-mode-20240312.1632","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/i7qccbsgrhzk4jdk5dxaj95x1r3pb9yi-emacs-fstar-mode-20240312.1632","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d","date":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/r6vd27j5dg9i5b3syih1yyg0msvyphmv-emacs-fstar-mode-20240312.1632","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20230506.1606","last_updated":"2024-03-23T13:32:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/nc86dpq8kzj5b91xpfrsvvrlvk6rhxps-emacs-fstar-mode-20230506.1606","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/3asm9zywm3sp3p1jsjmvmkj166gyijiq-emacs-fstar-mode-20230506.1606","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/69ski70cn25a4ln27nbzbdvgq768wn5r-emacs-fstar-mode-20230506.1606","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/v9yqdi3rjd68rrrnqk5b6ibhi79wbq94-emacs-fstar-mode-20230506.1606","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20221214.1220","last_updated":"2023-06-05T20:59:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/8wjipxqcdsyjdwphkb1j03d1r3x61wxw-emacs-fstar-mode-20221214.1220","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/y5wxz1axzdljlgss7jcdbnij7gwhc66l-emacs-fstar-mode-20221214.1220","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/zpamlyyrh9q6kvf46b3kyqfnvwrid9b6-emacs-fstar-mode-20221214.1220","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"932fc16b263f26803d3960e4400bc13dde84a972","date":"2023-06-05T20:59:02Z","outputs":[{"name":"out","path":"/nix/store/pm7w0sh1ybc2bgx49gcphwicyqnagz7y-emacs-fstar-mode-20221214.1220","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220725.2139","last_updated":"2023-02-14T00:52:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/whgkbk05ja8r7yb94y61qpr2n6rrkfp0-emacs-fstar-mode-20220725.2139","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/pz4mw68rwa44vc9lgphvkviyi9rzfxsy-emacs-fstar-mode-20220725.2139","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.fstar-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/q0zcs3ivrvblk0jc1g4qkid06jw993bs-emacs-fstar-mode-20220725.2139","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.fstar-mode","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/9zhdkrng3a18b63kn5212yf2xc6ysadd-emacs-fstar-mode-20220725.2139","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}