{"name":"souffle","version":"2.3","summary":"A translator of declarative Datalog programs into the C++ language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3007746b3f5bfcb49e102b517bca891822a41b31"},"attr_path":"souffle"},"last_updated":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/ydxqpg474qs8hab811afyk8l4q1ygdy5-souffle-2.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3007746b3f5bfcb49e102b517bca891822a41b31"},"attr_path":"souffle"},"last_updated":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/17pk599pzph626kw2fb3991m0wlrgw3x-souffle-2.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3007746b3f5bfcb49e102b517bca891822a41b31"},"attr_path":"souffle"},"last_updated":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/9bx4nbaq6gz8jykh3yz71q0p6rh4h5hf-souffle-2.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3007746b3f5bfcb49e102b517bca891822a41b31"},"attr_path":"souffle"},"last_updated":"2023-05-14T19:13:12Z","outputs":[{"name":"out","path":"/nix/store/afm7sk4ayk61pz2c3wgvnwr2sq0s1ds7-souffle-2.3","default":true}]}}}