{"name":"ocamlPackages.symex","summary":"Primitives to write symbolic execution engines","description":"","homepage_url":"https://github.com/ocamlpro/symex","license":"AGPL-3.0-or-later","attribute_paths":["ocamlPackages.symex"],"releases":[{"version":"0.2","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.symex","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/5layw53r6fwrci5fph66nl20y82x7akv-ocaml5.5.0-symex-0.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.symex","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/3jd0s1zbj1n9rsgf99kbbjj6dgwn0d3r-ocaml5.5.0-symex-0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.symex","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/bxc1vx0x9ipwz4zlv9q5srn505phhv55-ocaml5.4.1-symex-0.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.symex","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/j5qary2igzwmq55v7gw5phycwfay4jm1-ocaml5.5.0-symex-0.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.1","last_updated":"2026-03-28T12:40:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.symex","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/8w57bhgwlmi2wcf2643rjw8y62c59i1r-ocaml5.4.1-symex-0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.symex","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/hm0j6487qjgyb8kr1s7lp34biqskm2z6-ocaml5.4.1-symex-0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.symex","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/m4f8xnf6wrj5gjnzm2d1qnqdcnkacriz-ocaml5.4.1-symex-0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.symex","commit_hash":"b63fe7f000adcfa269967eeff72c64cafecbbebe","date":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/dfn5mmvr6apalawr7rmcz8icsqxd0k89-ocaml5.4.1-symex-0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}