Dependencies of flatcurry-type-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 contract-prover contract-prover flatcurry-type-annotated flatcurry-type-annotated contract-prover->flatcurry-type-annotated failfree failfree failfree->flatcurry-type-annotated html2->flatcurry-type-annotated property-prover property-prover property-prover->flatcurry-type-annotated directory directory filepath filepath directory->filepath time time directory->time base base directory->base filepath->base queue queue random random queue->random queue->base process process process->base time->base redblacktree redblacktree redblacktree->random redblacktree->base transformers transformers transformers->base abstract-curry abstract-curry abstract-curry->directory abstract-curry->filepath wl-pprint wl-pprint abstract-curry->wl-pprint read-legacy read-legacy abstract-curry->read-legacy frontend-exec frontend-exec abstract-curry->frontend-exec currypath currypath abstract-curry->currypath abstract-curry->base wl-pprint->queue wl-pprint->base xml xml xml->base read-legacy->base frontend-exec->filepath frontend-exec->process propertyfile propertyfile frontend-exec->propertyfile frontend-exec->currypath frontend-exec->base random->time random->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 scc scc scc->redblacktree scc->base rewriting rewriting rewriting->transformers rewriting->abstract-curry containers containers rewriting->containers rewriting->base flatcurry-annotated flatcurry-annotated flatcurry-annotated->directory flatcurry-annotated->filepath flatcurry-annotated->wl-pprint flatcurry flatcurry flatcurry-annotated->flatcurry flatcurry-annotated->currypath flatcurry-annotated->base flatcurry->directory flatcurry->filepath flatcurry->redblacktree flatcurry->transformers flatcurry->wl-pprint flatcurry->xml flatcurry->read-legacy flatcurry->frontend-exec flatcurry->currypath flatcurry->base extra extra extra->base containers->random containers->base currypath->directory currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->base flatcurry-type-annotated->directory flatcurry-type-annotated->filepath flatcurry-type-annotated->transformers flatcurry-type-annotated->read-legacy flatcurry-type-annotated->frontend-exec flatcurry-type-annotated->scc flatcurry-type-annotated->rewriting flatcurry-type-annotated->flatcurry-annotated flatcurry-type-annotated->flatcurry flatcurry-type-annotated->extra flatcurry-type-annotated->containers flatcurry-type-annotated->currypath flatcurry-type-annotated->base