{"name":"ocamlPackages.symex","version":"0.2","summary":"Primitives to write symbolic execution engines","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/g6vwnxdk6w8sc7qjycafznijv74kdyph-ocaml5.5.0-symex-0.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/5wcn3cj464z9qkmh25py8dmnd5z4cns3-ocaml5.5.0-symex-0.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f76e4c7b1840704deda511ab34f37b829f6b5636"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/bxc1vx0x9ipwz4zlv9q5srn505phhv55-ocaml5.4.1-symex-0.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"ocamlPackages.symex"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/m6rvs2pcf5p9grd9g0lkfgqs0c64kbr0-ocaml5.5.0-symex-0.2","default":true}]}}}