{"name":"egglog","version":"2023-08-19","summary":"A fixpoint reasoning system that unifies Datalog and equality saturation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37"},"attr_path":"egglog"},"last_updated":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/70pgf174q9apilslfhv34q4p3gjdcmf1-egglog-unstable-2023-08-19","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37"},"attr_path":"egglog"},"last_updated":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/177ya4zvqjmim4z6kpm0d19rm6yx8hrj-egglog-unstable-2023-08-19","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37"},"attr_path":"egglog"},"last_updated":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/xy8dazrzvvaq6ga2sascmw6l1cmibqsk-egglog-unstable-2023-08-19","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9d757ec498666cc1dcc6f2be26db4fd3e1e9ab37"},"attr_path":"egglog"},"last_updated":"2023-08-22T06:04:29Z","outputs":[{"name":"out","path":"/nix/store/3z174lh0gg2dp68j0dk09hq9lrqaz8aj-egglog-unstable-2023-08-19","default":true}]}}}