{"name":"ocamlPackages.symex","version":"0.1","summary":"Primitives to write symbolic execution engines","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/8w57bhgwlmi2wcf2643rjw8y62c59i1r-ocaml5.4.1-symex-0.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/hm0j6487qjgyb8kr1s7lp34biqskm2z6-ocaml5.4.1-symex-0.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/m4f8xnf6wrj5gjnzm2d1qnqdcnkacriz-ocaml5.4.1-symex-0.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b63fe7f000adcfa269967eeff72c64cafecbbebe"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-03-28T12:40:58Z","outputs":[{"name":"out","path":"/nix/store/dfn5mmvr6apalawr7rmcz8icsqxd0k89-ocaml5.4.1-symex-0.1","default":true}]}}}