Dependencies of contract-prover

Package Dependencies queue queue random random queue->random base base queue->base string-trie string-trie profiling profiling string-trie->profiling containers containers string-trie->containers string-trie->base directory directory filepath filepath directory->filepath time time directory->time directory->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base filepath->base xml xml xml->base transformers transformers transformers->base time->base rw-data rw-data rw-data->string-trie rw-data->directory rw-data->profiling read-legacy read-legacy rw-data->read-legacy process process rw-data->process rw-data->containers rw-data->base redblacktree redblacktree redblacktree->random redblacktree->base profiling->base abstract-curry abstract-curry abstract-curry->directory abstract-curry->wl-pprint abstract-curry->filepath abstract-curry->read-legacy frontend-exec frontend-exec abstract-curry->frontend-exec currypath currypath abstract-curry->currypath abstract-curry->base flatcurry flatcurry flatcurry->directory flatcurry->wl-pprint flatcurry->filepath flatcurry->xml flatcurry->transformers flatcurry->time flatcurry->rw-data flatcurry->redblacktree flatcurry->profiling flatcurry->read-legacy flatcurry->frontend-exec flatcurry->currypath flatcurry->base scc scc scc->redblacktree scc->base rewriting rewriting rewriting->transformers rewriting->abstract-curry rewriting->containers rewriting->base read-legacy->base frontend-exec->filepath propertyfile propertyfile frontend-exec->propertyfile 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 random->time random->base showflatcurry showflatcurry showflatcurry->directory showflatcurry->wl-pprint 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->directory flatcurry-annotated->wl-pprint flatcurry-annotated->filepath flatcurry-annotated->flatcurry flatcurry-annotated->currypath flatcurry-annotated->base flatcurry-smt flatcurry-smt flatcurry-smt->base currypath->directory currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->base contracts contracts contracts->flatcurry contracts->base containers->random containers->base contract-prover contract-prover contract-prover->directory contract-prover->wl-pprint 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->flatcurry-smt contract-prover->currypath contract-prover->contracts contract-prover->containers contract-prover->base