{"name":"ocamlPackages.sail","summary":"Language for describing the instruction-set architecture (ISA) semantics of processors","description":"","homepage_url":"https://github.com/rems-project/sail","license":"BSD-2-Clause","attribute_paths":["ocamlPackages.sail"],"releases":[{"version":"0.20.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/05rvpsvlqa7r5dvhabjxrl26ywci3vzz-ocaml5.5.0-sail-0.20.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qpnh9ibrd4znl7m68bxin1srkyh17gj6-ocaml5.5.0-sail-0.20.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/ckrls1lr93phfriw7pxj4r2z7yqg19vc-ocaml5.4.1-sail-0.20.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/gm195mk88mvxdzfqs12ps034sdz4qrix-ocaml5.5.0-sail-0.20.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.20","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/gpvz0bxfp14lb7byf53hg7y1cgwzkagz-ocaml5.3.0-sail-0.20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/nmj1yxx0rmmgl904irf1sd9g60s2bkdv-ocaml5.3.0-sail-0.20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/l9js7g0lyjwlfc8k8ibk88r19xyzpbc8-ocaml5.3.0-sail-0.20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/5b1xwkj3gf3a7s22am33vmahh42zdqsi-ocaml5.3.0-sail-0.20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.19.1","last_updated":"2025-10-18T10:07:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/k3dql3fjqdalpmvjicxdbq1cmmilvw5l-ocaml5.3.0-sail-0.19.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/rnd82i4x7wr732xckmsvx2mm4ikiravm-ocaml5.3.0-sail-0.19.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/0kcfc6vsfffk5hsrswhjlyszic5d9f9a-ocaml5.3.0-sail-0.19.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"36226520e9f7a35bf341cbe3b6a1ff9047bec6d9","date":"2025-10-18T10:07:23Z","outputs":[{"name":"out","path":"/nix/store/rpp7m7qjp782rnrf23h50jdmpf64639p-ocaml5.3.0-sail-0.19.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.19","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/fwxmpn2vk31q5072xm8lln9ac9mq78b7-ocaml5.3.0-sail-0.19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/hg5yrasran7g1cpy31f101860i4ib11k-ocaml5.3.0-sail-0.19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/bssgw689yfivl4kaam34qmaqc2k9rc2s-ocaml5.3.0-sail-0.19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/hb2446pd1qwf5k07nb91k83wp65v3sp1-ocaml5.3.0-sail-0.19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.18","last_updated":"2025-03-29T14:41:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/49xs27gg8mpsnbw22w5sjhpw4gbwbc2k-ocaml5.2.1-sail-0.18","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/axi549813x9n9gj06y9dbvyw1sfwlgy7-ocaml5.2.1-sail-0.18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"eb0e0f21f15c559d2ac7633dc81d079d1caf5f5f","date":"2025-03-29T14:41:00Z","outputs":[{"name":"out","path":"/nix/store/km7a5lqp7fl5nb6z45myx215x65kvi2m-ocaml5.2.1-sail-0.18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/3c5xjx7hcv19a46xyiq68pdyyb722s54-ocaml5.2.1-sail-0.18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.16","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/r8xlqzdsgawz6mppyy25svm5yl0asi67-ocaml5.2.1-sail-0.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/y2lijf864daz66b0kbc0ji9r9lzaxns1-ocaml5.2.1-sail-0.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/r9gbrgp53xrf8hyria41d7lq0kxvg23s-ocaml5.2.1-sail-0.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/hp4ybga14bfhsqsgb2myfrpcb2fcgdzr-ocaml5.2.1-sail-0.16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.15","last_updated":"2023-10-25T20:49:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/5k6r41i81xhfyslr0z8li54yf5wja39a-ocaml4.14.1-sail-0.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/nz5zkaq1z397yzsj3yimgiqd3rln9x2d-ocaml4.14.1-sail-0.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.sail","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/p5ai1kr2nf0dch954i90326n80askijv-ocaml4.14.1-sail-0.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.sail","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/51785xmh5i77yigl85j7sx8cgx1h43ir-ocaml4.14.1-sail-0.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}