Dependencies of rewriting

Package Dependencies cpm-manage cpm-manage html2 html2 cpm-manage->html2 currydoc currydoc markdown markdown currydoc->markdown currydoc->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 currypp currypp currypp->html2 currycheck currycheck currypp->currycheck rewriting rewriting currycheck->rewriting flatcurry-type-annotated->rewriting verify verify verify->currycheck verify->rewriting process process base base process->base filepath filepath filepath->base time time time->base queue queue random random queue->random queue->base propertyfile propertyfile directory directory propertyfile->directory propertyfile->base io-extra io-extra io-extra->process io-extra->directory io-extra->base execpath execpath execpath->filepath execpath->directory execpath->base directory->filepath directory->time directory->base random->time random->base read-legacy read-legacy read-legacy->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base frontend-exec frontend-exec frontend-exec->process frontend-exec->filepath frontend-exec->propertyfile currypath currypath frontend-exec->currypath frontend-exec->base currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->directory currypath->base transformers transformers transformers->base containers containers containers->random containers->base abstract-curry abstract-curry abstract-curry->filepath abstract-curry->directory abstract-curry->read-legacy abstract-curry->wl-pprint abstract-curry->frontend-exec abstract-curry->currypath abstract-curry->base rewriting->transformers rewriting->containers rewriting->abstract-curry rewriting->base