{"name":"cvise","version":"2.6.0","summary":"Super-parallel Python port of C-Reduce","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"cvise"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/7ipihrzbjsrf0m98iap6s7nzg7r89rcv-cvise-2.6.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"cvise"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/20xf1il737411b5v8z3j7w9dyi56avlw-cvise-2.6.0","default":true}]}}}