{"name":"cvise","version":"2.1.0","summary":"Super-parallel Python port of C-Reduce","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d12574353329291e661805312544b1c68c13911e"},"attr_path":"cvise"},"last_updated":"2021-03-02T11:25:50Z"}}}