{"name":"egglog","version":"0-unstable-2024-01-26","summary":"Fixpoint reasoning system that unifies Datalog and equality saturation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"egglog"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/449wc1jf5bn5nlp2x0m4ndsh449l9hc7-egglog-0-unstable-2024-01-26","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"egglog"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/igj5vghlvg97y55sy3yzar5bch2mvrn0-egglog-0-unstable-2024-01-26","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"egglog"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/m08xzl6vlx760nljdfna8906xs4cqic2-egglog-0-unstable-2024-01-26","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d98abf5cf5914e5e4e9d57205e3af55ca90ffc1d"},"attr_path":"egglog"},"last_updated":"2025-02-07T11:26:36Z","outputs":[{"name":"out","path":"/nix/store/ai3ifgmi07kn72zk1kvhbf4gq0lhccr9-egglog-0-unstable-2024-01-26","default":true}]}}}