{"name":"cvise","version":"2.4.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"cvise"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/sn785l13fqbsqfp6l3pvwv44ngljm2xn-cvise-2.4.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0fab06cc1ca9799e6dda30529c963b95c4dc2a"},"attr_path":"cvise"},"last_updated":"2022-08-27T08:52:24Z","outputs":[{"name":"out","path":"/nix/store/v4y95q23v70iyhly2d10szdx8ks5cmz6-cvise-2.4.0","default":true}]}}}