{"name":"egglog","version":"2023-07-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":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"egglog"},"last_updated":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/mfbyp60a8xl1ixmr4q4q9rnjp53zivr0-egglog-unstable-2023-07-19","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"egglog"},"last_updated":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/21yr45lpxy03nx3w1q8iydnmn5pmf96m-egglog-unstable-2023-07-19","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"egglog"},"last_updated":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/h94kgsq3d7jb664c5fsqhi3rmb292wcn-egglog-unstable-2023-07-19","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"egglog"},"last_updated":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/vxvafarz0kn3dr6ykfkmsiqlwy4wbj9g-egglog-unstable-2023-07-19","default":true}]}}}