{"name":"egglog","version":"2023-06-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":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"egglog"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/fknvdlzd4z0lh9qfvsf1f1m0g4wr6krl-egglog-unstable-2023-06-11","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"egglog"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/3lf8p550ryyzxvjabjgjznqv5bh7yhf5-egglog-unstable-2023-06-11","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"egglog"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/hc3167sg55zgzdnixp44rm2pi1vv8ym0-egglog-unstable-2023-06-11","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b38e95ea6c15b9ce098556f410d715b262fa386a"},"attr_path":"egglog"},"last_updated":"2023-06-27T08:49:46Z","outputs":[{"name":"out","path":"/nix/store/30vvib88nr5rlbryhq6cbzzrh3x8h360-egglog-unstable-2023-06-11","default":true}]}}}