{"name":"sail-riscv","version":"0.7","summary":"Formal specification of the RISC-V architecture, written in Sail","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"870493f9a8cb0b074ae5b411b2f232015db19a65"},"attr_path":"sail-riscv"},"last_updated":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/85fgr9a3xaqq4d4zcwmsl73125x4npap-sail-riscv-0.7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"870493f9a8cb0b074ae5b411b2f232015db19a65"},"attr_path":"sail-riscv"},"last_updated":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/na6k686ifrwpylpjv4syrrr9p0marg8x-sail-riscv-0.7","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"870493f9a8cb0b074ae5b411b2f232015db19a65"},"attr_path":"sail-riscv"},"last_updated":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/z3xv7f7p1dq53x65pif8gz7cshg6mpcl-sail-riscv-0.7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"870493f9a8cb0b074ae5b411b2f232015db19a65"},"attr_path":"sail-riscv"},"last_updated":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/0j936mmdvxz2yb3cz5prwjnda10g13hr-sail-riscv-0.7","default":true}]}}}