{"name":"ocamlPackages.sail","version":"0.18","summary":"Language for describing the instruction-set architecture (ISA) semantics of processors","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"ocamlPackages.sail"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/49xs27gg8mpsnbw22w5sjhpw4gbwbc2k-ocaml5.2.1-sail-0.18","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"ocamlPackages.sail"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/axi549813x9n9gj06y9dbvyw1sfwlgy7-ocaml5.2.1-sail-0.18","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"eb0e0f21f15c559d2ac7633dc81d079d1caf5f5f"},"attr_path":"ocamlPackages.sail"},"last_updated":"2025-03-29T14:41:00Z","outputs":[{"name":"out","path":"/nix/store/km7a5lqp7fl5nb6z45myx215x65kvi2m-ocaml5.2.1-sail-0.18","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f"},"attr_path":"ocamlPackages.sail"},"last_updated":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/3c5xjx7hcv19a46xyiq68pdyyb722s54-ocaml5.2.1-sail-0.18","default":true}]}}}