Dependencies of abstract-curry

Package Dependencies contract-prover contract-prover flatcurry-type-annotated flatcurry-type-annotated contract-prover->flatcurry-type-annotated failfree failfree failfree->flatcurry-type-annotated property-prover property-prover property-prover->flatcurry-type-annotated rewriting rewriting flatcurry-type-annotated->rewriting markdown markdown html2 html2 markdown->html2 wui2 wui2 wui2->html2 cpm-manage cpm-manage cpm cpm cpm-manage->cpm cpm-manage->html2 currybrowse currybrowse addtypes addtypes currybrowse->addtypes abstract-curry abstract-curry addtypes->abstract-curry coosy coosy coosy->abstract-curry cpc cpc cpc->abstract-curry cpm->abstract-curry curry-repl curry-repl curry-repl->abstract-curry curry-source curry-source curry-source->abstract-curry currycheck currycheck currycheck->rewriting currycheck->abstract-curry currydoc currydoc currydoc->markdown currydoc->html2 currydoc->abstract-curry currypp currypp currypp->currycheck currypp->html2 currypp->abstract-curry dsdcurry dsdcurry dsdcurry->abstract-curry ertools ertools ertools->abstract-curry html2->flatcurry-type-annotated html2->abstract-curry plural-arguments plural-arguments plural-arguments->abstract-curry prolog2curry prolog2curry prolog2curry->abstract-curry rewriting->abstract-curry setfunction-synthesis setfunction-synthesis setfunction-synthesis->abstract-curry spicey spicey spicey->ertools spicey->abstract-curry verify verify verify->currycheck verify->rewriting verify->abstract-curry verify-non-fail verify-non-fail verify-non-fail->abstract-curry xmldata xmldata xmldata->abstract-curry random random time time random->time base base random->base process process process->base filepath filepath filepath->base time->base queue queue 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 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 abstract-curry->filepath abstract-curry->directory abstract-curry->read-legacy abstract-curry->wl-pprint abstract-curry->frontend-exec abstract-curry->currypath abstract-curry->base