{"name":"egglog","version":"2023-08-09","summary":"A fixpoint reasoning system that unifies Datalog and equality saturation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d2389b927696ef8da4ef76b03f2d306faf87929"},"attr_path":"egglog"},"last_updated":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/23zcilwnp4xqg41kc66fxqvj9hzjmpai-egglog-unstable-2023-08-09","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d2389b927696ef8da4ef76b03f2d306faf87929"},"attr_path":"egglog"},"last_updated":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/jj0d68kjj6afsks058sjlxddm2n3xlk7-egglog-unstable-2023-08-09","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d2389b927696ef8da4ef76b03f2d306faf87929"},"attr_path":"egglog"},"last_updated":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/vajdlypb5v9k1v46zvqij2c43xrf80ig-egglog-unstable-2023-08-09","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d2389b927696ef8da4ef76b03f2d306faf87929"},"attr_path":"egglog"},"last_updated":"2023-08-10T15:58:45Z","outputs":[{"name":"out","path":"/nix/store/9fcz8grdb1f60rbmrkh5v08n106ly1rm-egglog-unstable-2023-08-09","default":true}]}}}