{"name":"souffle","version":"2.5","summary":"Translator of declarative Datalog programs into the C++ language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"souffle"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/1crg9g125wsn1dc8kzvi5g23pz3c3rpx-souffle-2.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"souffle"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/xs9hsbdwvxpvmj6i6ahasn0rcqf0mpa4-souffle-2.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"souffle"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/2miq5jvfnhba8w2fh7dmbrr08dj72137-souffle-2.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"souffle"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/2xnzd1grz2q3vwqv8xi170akk1hn2z2x-souffle-2.5","default":true}]}}}