{"name":"egglog","version":"2023-07-11","summary":"A fixpoint reasoning system that unifies Datalog and equality saturation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"egglog"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/5pjffa3jla5s5j7m4zw2a5p1xx21npml-egglog-unstable-2023-07-11","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"egglog"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/d6gz43g1q84f1676saky76q2rna8a32y-egglog-unstable-2023-07-11","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"egglog"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/26yznfqlg7a541pz6iw00x72s5vprwja-egglog-unstable-2023-07-11","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfcffbd74fd6f0419370d8240e445252a39f4d10"},"attr_path":"egglog"},"last_updated":"2023-07-24T21:56:31Z","outputs":[{"name":"out","path":"/nix/store/xrs988nw54wjwysrp94myinqkjbqk2xd-egglog-unstable-2023-07-11","default":true}]}}}