Dependencies of flatcurry-annotated

Package Dependencies cpm-manage cpm-manage html2 html2 cpm-manage->html2 currydoc currydoc markdown markdown currydoc->markdown currydoc->html2 currypp currypp currypp->html2 markdown->html2 wui2 wui2 wui2->html2 ccti ccti flatcurry-annotated flatcurry-annotated ccti->flatcurry-annotated contract-prover contract-prover flatcurry-type-annotated flatcurry-type-annotated contract-prover->flatcurry-type-annotated contract-prover->flatcurry-annotated failfree failfree failfree->flatcurry-type-annotated failfree->flatcurry-annotated flatcurry-type-annotated->flatcurry-annotated flatcurry-typed flatcurry-typed flatcurry-typed->flatcurry-annotated html2->flatcurry-type-annotated html2->flatcurry-annotated peval peval peval->flatcurry-annotated property-prover property-prover property-prover->flatcurry-type-annotated property-prover->flatcurry-annotated setfunction-synthesis setfunction-synthesis setfunction-synthesis->flatcurry-annotated queue queue random random queue->random base base queue->base string-trie string-trie containers containers string-trie->containers profiling profiling string-trie->profiling string-trie->base directory directory filepath filepath directory->filepath time time directory->time directory->base process process process->base containers->random containers->base random->time random->base filepath->base xml xml xml->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base transformers transformers transformers->base time->base rw-data rw-data rw-data->string-trie rw-data->directory rw-data->process rw-data->containers read-legacy read-legacy rw-data->read-legacy rw-data->profiling rw-data->base redblacktree redblacktree redblacktree->random redblacktree->base read-legacy->base profiling->base frontend-exec frontend-exec frontend-exec->process frontend-exec->filepath propertyfile propertyfile frontend-exec->propertyfile currypath currypath frontend-exec->currypath frontend-exec->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 flatcurry flatcurry flatcurry->directory flatcurry->filepath flatcurry->xml flatcurry->wl-pprint flatcurry->transformers flatcurry->time flatcurry->rw-data flatcurry->redblacktree flatcurry->read-legacy flatcurry->profiling flatcurry->frontend-exec flatcurry->currypath flatcurry->base currypath->directory currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->base flatcurry-annotated->directory flatcurry-annotated->filepath flatcurry-annotated->wl-pprint flatcurry-annotated->flatcurry flatcurry-annotated->currypath flatcurry-annotated->base