{"name":"sail-riscv","version":"0.6","summary":"Formal specification of the RISC-V architecture, written in Sail","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"sail-riscv"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/r9fb4zmbv1x9av3bg5ifcyal6w4413k4-sail-riscv-0.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"sail-riscv"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/kzqfg1gvwydv35h356x114vvd6b8hfzv-sail-riscv-0.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"sail-riscv"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/6500yhh6qrls8rbl9kq2lmr7dv6k9cvs-sail-riscv-0.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"sail-riscv"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/cd4m3zqckzapj4sl6sr59f11s9j6zaiw-sail-riscv-0.6","default":true}]}}}