Dependencies of contract-prover

Package Dependencies queue queue random random queue->random base base queue->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base directory directory filepath filepath directory->filepath time time directory->time directory->base filepath->base searchtree searchtree searchtree->random searchtree->base xml xml xml->base transformers transformers transformers->base redblacktree redblacktree redblacktree->random redblacktree->base abstract-curry abstract-curry abstract-curry->wl-pprint abstract-curry->directory abstract-curry->filepath read-legacy read-legacy abstract-curry->read-legacy frontend-exec frontend-exec abstract-curry->frontend-exec currypath currypath abstract-curry->currypath abstract-curry->base allvalues allvalues allvalues->searchtree allvalues->base time->base flatcurry flatcurry flatcurry->wl-pprint flatcurry->directory flatcurry->filepath flatcurry->xml flatcurry->transformers flatcurry->redblacktree flatcurry->read-legacy flatcurry->frontend-exec flatcurry->currypath flatcurry->base scc scc scc->redblacktree scc->base rewriting rewriting rewriting->transformers rewriting->abstract-curry containers containers rewriting->containers rewriting->base read-legacy->base frontend-exec->filepath propertyfile propertyfile frontend-exec->propertyfile process process frontend-exec->process frontend-exec->currypath frontend-exec->base extra extra extra->base propertyfile->directory propertyfile->base io-extra io-extra io-extra->directory io-extra->process io-extra->base execpath execpath execpath->directory execpath->filepath execpath->base setfunctions setfunctions setfunctions->searchtree setfunctions->allvalues setfunctions->base random->time random->base showflatcurry showflatcurry showflatcurry->wl-pprint showflatcurry->directory showflatcurry->filepath showflatcurry->flatcurry showflatcurry->process showflatcurry->currypath showflatcurry->base process->base flatcurry-type-annotated flatcurry-type-annotated flatcurry-type-annotated->directory flatcurry-type-annotated->filepath flatcurry-type-annotated->transformers flatcurry-type-annotated->flatcurry flatcurry-type-annotated->scc flatcurry-type-annotated->rewriting flatcurry-type-annotated->read-legacy flatcurry-type-annotated->frontend-exec flatcurry-type-annotated->extra flatcurry-annotated flatcurry-annotated flatcurry-type-annotated->flatcurry-annotated flatcurry-type-annotated->currypath flatcurry-type-annotated->containers flatcurry-type-annotated->base flatcurry-annotated->wl-pprint flatcurry-annotated->directory flatcurry-annotated->filepath flatcurry-annotated->flatcurry flatcurry-annotated->currypath flatcurry-annotated->base currypath->directory currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->base contracts contracts contracts->flatcurry contracts->setfunctions contracts->base containers->random containers->base contract-prover contract-prover contract-prover->wl-pprint contract-prover->directory contract-prover->filepath contract-prover->transformers contract-prover->flatcurry contract-prover->read-legacy contract-prover->io-extra contract-prover->showflatcurry contract-prover->process contract-prover->flatcurry-type-annotated contract-prover->flatcurry-annotated contract-prover->currypath contract-prover->contracts contract-prover->containers contract-prover->base