Dependencies of verify

Package Dependencies filepath filepath base base filepath->base directory directory directory->filepath time time directory->time directory->base transformers transformers transformers->base queue queue random random queue->random queue->base string-trie string-trie profiling profiling string-trie->profiling containers containers string-trie->containers string-trie->base process process process->base searchtree-extra searchtree-extra searchtree-extra->random searchtree-extra->base execpath execpath execpath->filepath execpath->directory execpath->base flatcurry flatcurry flatcurry->filepath flatcurry->directory flatcurry->transformers wl-pprint wl-pprint flatcurry->wl-pprint rw-data rw-data flatcurry->rw-data flatcurry->profiling frontend-exec frontend-exec flatcurry->frontend-exec currypath currypath flatcurry->currypath xml xml flatcurry->xml flatcurry->time redblacktree redblacktree flatcurry->redblacktree read-legacy read-legacy flatcurry->read-legacy flatcurry->base random->time random->base wl-pprint->queue wl-pprint->base det-parse det-parse det-parse->base rw-data->directory rw-data->string-trie rw-data->process rw-data->profiling rw-data->containers rw-data->read-legacy rw-data->base rewriting rewriting rewriting->transformers rewriting->containers abstract-curry abstract-curry rewriting->abstract-curry rewriting->base profiling->base frontend-exec->filepath frontend-exec->process frontend-exec->currypath propertyfile propertyfile frontend-exec->propertyfile frontend-exec->base easycheck easycheck easycheck->searchtree-extra easycheck->base currypath->filepath currypath->directory currypath->execpath currypath->propertyfile io-extra io-extra currypath->io-extra currypath->base curry-source curry-source curry-source->flatcurry curry-source->abstract-curry curry-source->base csv csv csv->base contracts contracts contracts->flatcurry contracts->base containers->random containers->base ansi-terminal ansi-terminal ansi-terminal->base xml->base time->base socket socket socket->base scc scc scc->redblacktree scc->base redblacktree->random redblacktree->base propertyfile->directory propertyfile->base json json json->wl-pprint json->det-parse json->base io-extra->directory io-extra->process io-extra->base read-legacy->base peano peano peano->base currycheck currycheck currycheck->filepath currycheck->directory currycheck->process currycheck->searchtree-extra currycheck->flatcurry currycheck->wl-pprint currycheck->rw-data currycheck->rewriting currycheck->profiling currycheck->frontend-exec currycheck->easycheck currycheck->currypath currycheck->curry-source currycheck->csv currycheck->contracts currycheck->containers currycheck->ansi-terminal cass cass currycheck->cass cass-analysis cass-analysis currycheck->cass-analysis currycheck->abstract-curry currycheck->base cass->filepath cass->directory cass->process cass->flatcurry cass->rw-data cass->currypath cass->containers cass->xml cass->time cass->socket cass->scc cass->redblacktree cass->propertyfile cass->json cass->io-extra cass->cass-analysis cass->base cass-analysis->filepath cass-analysis->directory cass-analysis->flatcurry cass-analysis->rw-data cass-analysis->profiling cass-analysis->currypath cass-analysis->containers cass-analysis->time cass-analysis->scc cass-analysis->base abstract-curry->filepath abstract-curry->directory abstract-curry->wl-pprint abstract-curry->frontend-exec abstract-curry->currypath abstract-curry->read-legacy abstract-curry->base verify verify verify->filepath verify->directory verify->process verify->rewriting verify->currypath verify->time verify->scc verify->peano verify->currycheck verify->cass verify->cass-analysis verify->abstract-curry verify->base