{"name":"sail-riscv","summary":"Formal specification of the RISC-V architecture, written in Sail","description":"","homepage_url":"https://github.com/riscv/sail-riscv","license":"BSD-2-Clause","attribute_paths":["sail-riscv"],"releases":[{"version":"0.12","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"sail-riscv","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/krwm5sj2d1xgkz4d1mfq2f1bkfcmp05q-sail-riscv-0.12","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"sail-riscv","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/dpf68wj7j8f3vkdrn93ywq8qqzhpqfsc-sail-riscv-0.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"sail-riscv","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/ri5ds7amcnwc0df4qpbsm2kk33c3jyav-sail-riscv-0.12","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"sail-riscv","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/9xjg9s48xf3w9h1nm3mn4jwmlms4zy2x-sail-riscv-0.12","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.8","last_updated":"2026-06-27T07:37:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"sail-riscv","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/zdb64xsh3g4anpb7zx6kcj9rcwi5rsrj-sail-riscv-0.8","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"sail-riscv","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/8asszd7pw2amrndj6d9x1ihz54f18hl2-sail-riscv-0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"sail-riscv","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/fhky8m8m6c8shv6czjjfx2gs31vm00xi-sail-riscv-0.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"sail-riscv","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/q7spihqq5bwrjpjl5knijp590ybbraxh-sail-riscv-0.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7","last_updated":"2025-10-10T13:35:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"sail-riscv","commit_hash":"870493f9a8cb0b074ae5b411b2f232015db19a65","date":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/85fgr9a3xaqq4d4zcwmsl73125x4npap-sail-riscv-0.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"sail-riscv","commit_hash":"870493f9a8cb0b074ae5b411b2f232015db19a65","date":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/na6k686ifrwpylpjv4syrrr9p0marg8x-sail-riscv-0.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"sail-riscv","commit_hash":"870493f9a8cb0b074ae5b411b2f232015db19a65","date":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/z3xv7f7p1dq53x65pif8gz7cshg6mpcl-sail-riscv-0.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"sail-riscv","commit_hash":"870493f9a8cb0b074ae5b411b2f232015db19a65","date":"2025-10-10T13:35:32Z","outputs":[{"name":"out","path":"/nix/store/0j936mmdvxz2yb3cz5prwjnda10g13hr-sail-riscv-0.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6","last_updated":"2025-03-26T18:47:43Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"sail-riscv","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/r9fb4zmbv1x9av3bg5ifcyal6w4413k4-sail-riscv-0.6","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"sail-riscv","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/kzqfg1gvwydv35h356x114vvd6b8hfzv-sail-riscv-0.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"sail-riscv","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/6500yhh6qrls8rbl9kq2lmr7dv6k9cvs-sail-riscv-0.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"sail-riscv","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/cd4m3zqckzapj4sl6sr59f11s9j6zaiw-sail-riscv-0.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}