{"name":"sail-riscv","version":"0.12","summary":"Formal specification of the RISC-V architecture, written in Sail","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"sail-riscv"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/038lw1cfwl2rysrh8ysyma2qmgfk1c0s-sail-riscv-0.12","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"sail-riscv"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/arcd51wf1mkxc64pald2l4bprb3j4n91-sail-riscv-0.12","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f76e4c7b1840704deda511ab34f37b829f6b5636"},"attr_path":"sail-riscv"},"last_updated":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/ri5ds7amcnwc0df4qpbsm2kk33c3jyav-sail-riscv-0.12","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5adc50831c259f87faeb09ddf930d43597197473"},"attr_path":"sail-riscv"},"last_updated":"2026-10-20T14:23:57Z","outputs":[{"name":"out","path":"/nix/store/y77xyq338v5i9nll8q7a6d2shwviizqg-sail-riscv-0.12","default":true}]}}}