{"name":"ocamlPackages.dolmen_loop","version":"0.9","summary":"Tool library for automated deduction tools","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"ocamlPackages.dolmen_loop"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/0vbf2ccxvg08wgnvp2yhfys1vfp6jvqx-ocaml5.1.1-dolmen_loop-0.9","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"ocamlPackages.dolmen_loop"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/l5vzzvrq008673ys8cmpz592gibjbv0d-ocaml5.1.1-dolmen_loop-0.9","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"ocamlPackages.dolmen_loop"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/19vhlfjillx6v893v3r5jzrw6pq5bjp9-ocaml5.1.1-dolmen_loop-0.9","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5ed627539ac84809c78b2dd6d26a5cebeb5ae269"},"attr_path":"ocamlPackages.dolmen_loop"},"last_updated":"2024-09-10T15:01:03Z","outputs":[{"name":"out","path":"/nix/store/9p26b6c2knssx0ap2pkafwvrqdm6r87z-ocaml5.1.1-dolmen_loop-0.9","default":true}]}}}