Dependencies of currycheck

Package Dependencies currypp currypp currycheck currycheck currypp->currycheck verify verify verify->currycheck filepath filepath base base filepath->base searchtree searchtree random random searchtree->random searchtree->base execpath execpath execpath->filepath directory directory execpath->directory execpath->base time time random->time random->base allvalues allvalues allvalues->searchtree allvalues->base transformers transformers transformers->base currypath currypath currypath->filepath currypath->execpath propertyfile propertyfile currypath->propertyfile io-extra io-extra currypath->io-extra currypath->directory currypath->base process process process->base time->base queue queue queue->random queue->base propertyfile->directory propertyfile->base containers containers containers->random containers->base setfunctions setfunctions setfunctions->searchtree setfunctions->allvalues setfunctions->base flatcurry flatcurry flatcurry->filepath flatcurry->transformers flatcurry->currypath xml xml flatcurry->xml redblacktree redblacktree flatcurry->redblacktree flatcurry->directory read-legacy read-legacy flatcurry->read-legacy wl-pprint wl-pprint flatcurry->wl-pprint frontend-exec frontend-exec flatcurry->frontend-exec flatcurry->base xml->base socket socket socket->base scc scc scc->redblacktree scc->base redblacktree->random redblacktree->base io-extra->process io-extra->directory io-extra->base directory->filepath directory->time directory->base read-legacy->base wl-pprint->queue wl-pprint->base frontend-exec->filepath frontend-exec->currypath frontend-exec->process frontend-exec->propertyfile frontend-exec->base rewriting rewriting rewriting->transformers rewriting->containers abstract-curry abstract-curry rewriting->abstract-curry rewriting->base profiling profiling profiling->base easycheck easycheck easycheck->searchtree easycheck->base csv csv csv->base contracts contracts contracts->setfunctions contracts->flatcurry contracts->base cass cass cass->filepath cass->currypath cass->process cass->time cass->propertyfile cass->containers cass->flatcurry cass->xml cass->socket cass->scc cass->redblacktree cass->io-extra cass->directory cass-analysis cass-analysis cass->cass-analysis cass->base cass-analysis->filepath cass-analysis->currypath cass-analysis->time cass-analysis->containers cass-analysis->flatcurry cass-analysis->xml cass-analysis->scc cass-analysis->directory cass-analysis->base ansi-terminal ansi-terminal ansi-terminal->base abstract-curry->filepath abstract-curry->currypath abstract-curry->directory abstract-curry->read-legacy abstract-curry->wl-pprint abstract-curry->frontend-exec abstract-curry->base currycheck->filepath currycheck->currypath currycheck->process currycheck->containers currycheck->setfunctions currycheck->flatcurry currycheck->directory currycheck->wl-pprint currycheck->frontend-exec currycheck->rewriting currycheck->profiling currycheck->easycheck currycheck->csv currycheck->contracts currycheck->cass currycheck->cass-analysis currycheck->ansi-terminal currycheck->abstract-curry currycheck->base