Dependencies of socket

Package Dependencies cpc cpc html html cpc->html wui wui wui->html html-cgi html-cgi html->html-cgi cpm-manage cpm-manage cpm cpm cpm-manage->cpm cpns cpns html-cgi->cpns ports ports ports->cpns ui ui ui->cpns cass cass cpm->cass currybrowse currybrowse currybrowse->cass currycheck currycheck currycheck->cass currydoc currydoc currydoc->cass currypp currypp currypp->currycheck currypp->cass failfree failfree failfree->cass property-prover property-prover property-prover->cass residuation-analysis residuation-analysis residuation-analysis->cass transbooleq transbooleq transbooleq->cass verify verify verify->currycheck verify->cass verify-non-fail verify-non-fail verify-non-fail->cass socket socket cass->socket cpns->socket base base socket->base