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 time time base base time->base filepath filepath filepath->base queue queue random random queue->random queue->base propertyfile propertyfile directory directory propertyfile->directory propertyfile->base process process process->base directory->time directory->filepath 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->filepath frontend-exec->propertyfile frontend-exec->process currypath currypath frontend-exec->currypath frontend-exec->base currypath->filepath currypath->propertyfile 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