Dependencies of base

Package Dependencies flatcurry-compact flatcurry-compact flatcurry flatcurry flatcurry-compact->flatcurry pflp pflp searchtree searchtree pflp->searchtree curry2js curry2js curry2js->flatcurry javascript javascript curry2js->javascript clpfd-smt clpfd-smt fl-parser fl-parser clpfd-smt->fl-parser cpc cpc abstract-curry abstract-curry cpc->abstract-curry html html cpc->html dsdcurry dsdcurry dsdcurry->abstract-curry setfunction-synthesis setfunction-synthesis setfunction-synthesis->abstract-curry currypath currypath setfunction-synthesis->currypath finite-map finite-map setfunction-synthesis->finite-map setfunction-synthesis->flatcurry flatcurry-annotated flatcurry-annotated setfunction-synthesis->flatcurry-annotated setfunction-synthesis->searchtree verify verify verify->abstract-curry cass cass verify->cass cass-analysis cass-analysis verify->cass-analysis currycheck currycheck verify->currycheck rewriting rewriting verify->rewriting scc scc verify->scc abstract-curry->currypath directory directory abstract-curry->directory filepath filepath abstract-curry->filepath frontend-exec frontend-exec abstract-curry->frontend-exec read-legacy read-legacy abstract-curry->read-legacy wl-pprint wl-pprint abstract-curry->wl-pprint base base abstract-curry->base abstract-haskell abstract-haskell abstract-haskell->wl-pprint abstract-haskell->base addtypes addtypes addtypes->abstract-curry addtypes->currypath process process addtypes->process addtypes->searchtree addtypes->wl-pprint addtypes->base ansi-terminal ansi-terminal ansi-terminal->base array array random random array->random array->base benchmark-papers benchmark-papers profiling profiling benchmark-papers->profiling benchmark-papers->base bindata bindata bindata->process bindata->base binint binint binint->base boxes boxes boxes->base bpmn2bpel bpmn2bpel bpmn2bpel->searchtree bpmn2bpel->base call-analysis call-analysis call-analysis->flatcurry call-analysis->profiling redblacktree redblacktree call-analysis->redblacktree setfunctions setfunctions call-analysis->setfunctions call-analysis->base casc casc casc->ansi-terminal casc->currypath casc->frontend-exec casc->wl-pprint casc->base cass->cass-analysis containers containers cass->containers cass->currypath cass->directory cass->filepath cass->flatcurry global global cass->global io-extra io-extra cass->io-extra cass->process propertyfile propertyfile cass->propertyfile cass->read-legacy cass->redblacktree cass->scc socket socket cass->socket xml xml cass->xml cass->base cass-analysis->containers cass-analysis->currypath cass-analysis->directory cass-analysis->filepath cass-analysis->flatcurry cass-analysis->global cass-analysis->read-legacy cass-analysis->scc cass-analysis->xml cass-analysis->base ccti ccti ccti->currypath ccti->finite-map ccti->flatcurry ccti->flatcurry-annotated ccti->frontend-exec smtlib smtlib ccti->smtlib smtlib-solver smtlib-solver ccti->smtlib-solver ccti->wl-pprint ccti->base cdbi cdbi csv csv cdbi->csv cdbi->directory cdbi->filepath cdbi->global cdbi->io-extra cdbi->process cdbi->read-legacy time time cdbi->time cdbi->base chr-curry chr-curry chr-curry->flatcurry prolog prolog chr-curry->prolog chr-curry->redblacktree chr-curry->searchtree chr-curry->wl-pprint chr-curry->xml chr-curry->base clp-pakcs clp-pakcs clp-pakcs->searchtree clp-pakcs->base combinatorial combinatorial combinatorial->setfunctions combinatorial->base containers->random containers->base contract-prover contract-prover contracts contracts contract-prover->contracts contract-prover->currypath contract-prover->finite-map contract-prover->flatcurry contract-prover->flatcurry-annotated showflatcurry showflatcurry contract-prover->showflatcurry contract-prover->wl-pprint contract-prover->base contracts->flatcurry contracts->setfunctions contracts->base coosy coosy coosy->abstract-curry gui gui coosy->gui coosy->searchtree coosy->base cpm cpm cpm->abstract-curry cpm->boxes cpm->cass cpm->cass-analysis cpm->cdbi cpm->csv cpm->currypath execpath execpath cpm->execpath cpm->flatcurry cpm->frontend-exec graphviz graphviz cpm->graphviz cpm->io-extra json json cpm->json opt-parse opt-parse cpm->opt-parse cpm->process cpm->profiling cpm->propertyfile cpm->read-legacy cpm->redblacktree cpm->time cpm->wl-pprint cpm->base cpm-manage cpm-manage cpm-manage->cpm cpm-manage->csv cpm-manage->directory cpm-manage->filepath cpm-manage->graphviz html2 html2 cpm-manage->html2 cpm-manage->io-extra cpm-manage->time cpm-manage->base cpns cpns cpns->profiling cpns->socket cpns->base cryptohash cryptohash cryptohash->io-extra cryptohash->random cryptohash->base csv->base curry-ast curry-ast curry-ast->currypath curry-ast->frontend-exec curry-ast->base curry-repl curry-repl curry-repl->abstract-curry curry-repl->currypath curry-repl->directory curry-repl->filepath curry-repl->frontend-exec curry-repl->io-extra curry-repl->process curry-repl->propertyfile curry-repl->base currybrowse currybrowse currybrowse->addtypes currybrowse->cass currybrowse->cass-analysis currybrowse->currypath currybrowse->directory currybrowse->filepath currybrowse->flatcurry currybrowse->graphviz currybrowse->gui importusage importusage currybrowse->importusage currybrowse->redblacktree currybrowse->showflatcurry currybrowse->time currybrowse->base currycheck->abstract-curry currycheck->ansi-terminal currycheck->cass currycheck->cass-analysis currycheck->contracts currycheck->csv currycheck->currypath easycheck easycheck currycheck->easycheck currycheck->flatcurry currycheck->frontend-exec currycheck->profiling currycheck->rewriting currycheck->setfunctions currycheck->wl-pprint currycheck->base currydoc currydoc currydoc->abstract-curry currydoc->cass currydoc->cass-analysis currydoc->flatcurry currydoc->html2 markdown markdown currydoc->markdown currydoc->wl-pprint currydoc->base currypath->directory currypath->filepath currypath->process currypath->propertyfile currypath->base currypp currypp currypp->abstract-curry currypp->cass currypp->cass-analysis currypp->cdbi currypp->containers currypp->contracts currypp->currycheck currypp->currypath currypp->directory currypp->filepath currypp->fl-parser currypp->flatcurry currypp->frontend-exec currypp->html2 printf printf currypp->printf currypp->process currypp->read-legacy regexp regexp currypp->regexp currypp->searchtree currypp->setfunctions currypp->time currypp->wl-pprint currypp->xml currypp->base directory->filepath directory->time directory->base distribution distribution distribution->directory distribution->filepath distribution->base easycheck->searchtree easycheck->base ertools ertools ertools->abstract-curry ertools->cdbi ertools->currypath ertools->directory ertools->filepath ertools->flatcurry ertools->graphviz ertools->io-extra keydb keydb ertools->keydb ertools->process ertools->read-legacy ertools->setfunctions ertools->time ertools->wl-pprint ertools->xml ertools->base exact-print exact-print exact-print->curry-ast exact-print->currypath exact-print->frontend-exec exact-print->base execpath->directory execpath->filepath execpath->base extra extra extra->base failfree failfree failfree->cass failfree->cass-analysis failfree->contracts failfree->currypath failfree->execpath failfree->finite-map failfree->flatcurry failfree->flatcurry-annotated failfree->profiling failfree->showflatcurry failfree->wl-pprint failfree->base filepath->base finite-map->random finite-map->base fl-parser->base flatcurry->currypath flatcurry->directory flatcurry->filepath flatcurry->frontend-exec flatcurry->read-legacy flatcurry->redblacktree flatcurry->wl-pprint flatcurry->xml flatcurry->base flatcurry-annotated->currypath flatcurry-annotated->directory flatcurry-annotated->filepath flatcurry-annotated->flatcurry flatcurry-annotated->wl-pprint flatcurry-annotated->base flatcurry-type-annotated flatcurry-type-annotated flatcurry-type-annotated->containers flatcurry-type-annotated->currypath flatcurry-type-annotated->directory flatcurry-type-annotated->extra flatcurry-type-annotated->filepath flatcurry-type-annotated->flatcurry flatcurry-type-annotated->flatcurry-annotated flatcurry-type-annotated->frontend-exec flatcurry-type-annotated->read-legacy flatcurry-type-annotated->rewriting flatcurry-type-annotated->scc transformers transformers flatcurry-type-annotated->transformers flatcurry-type-annotated->base flatcurry-typed flatcurry-typed flatcurry-typed->flatcurry flatcurry-typed->flatcurry-annotated flatcurry-typed->wl-pprint flatcurry-typed->base frontend-exec->currypath frontend-exec->filepath frontend-exec->process frontend-exec->propertyfile frontend-exec->base global->process global->base global-variables global-variables global-variables->base graph-inductive graph-inductive graph-inductive->finite-map graph-inductive->base graphviz->currypath graphviz->io-extra graphviz->propertyfile graphviz->base gui->io-extra gui->process gui->base html-cgi html-cgi html->html-cgi html->random html->base html-cgi->cpns html-cgi->base html2->abstract-curry html2->cryptohash html2->currypath html2->directory html2->filepath html2->flatcurry html2->flatcurry-annotated html2->flatcurry-type-annotated html2->global html2->io-extra html2->process html2->random html2->base icurry icurry icurry->currypath icurry->directory icurry->execpath icurry->filepath icurry->flatcurry icurry->frontend-exec icurry->graphviz icurry->io-extra icurry->process icurry->read-legacy icurry->transformers icurry->wl-pprint icurry->base importusage->currypath importusage->directory importusage->filepath importusage->flatcurry importusage->base inversion inversion inversion->base io-extra->directory io-extra->process io-extra->base javascript->base json->wl-pprint json->base julia julia julia->wl-pprint julia->base keydb->global keydb->io-extra keydb->process keydb->read-legacy keydb->base mail-utils mail-utils mail-utils->directory mail-utils->execpath mail-utils->filepath mail-utils->io-extra mail-utils->base makefile makefile makefile->currypath makefile->directory makefile->filepath makefile->flatcurry makefile->process makefile->base markdown->html2 markdown->base ninja ninja ninja->wl-pprint ninja->base nonstrictunif-optimize nonstrictunif-optimize nonstrictunif-optimize->currypath nonstrictunif-optimize->directory nonstrictunif-optimize->flatcurry nonstrictunif-optimize->process nonstrictunif-optimize->read-legacy nonstrictunif-optimize->redblacktree nonstrictunif-optimize->base opt-parse->boxes opt-parse->base peval peval peval->ansi-terminal peval->currypath peval->flatcurry peval->flatcurry-annotated peval->profiling peval->redblacktree peval->setfunctions peval->wl-pprint peval->base peval-noshare peval-noshare peval-noshare->currypath peval-noshare->frontend-exec peval-noshare->profiling peval-noshare->base plural-arguments plural-arguments plural-arguments->abstract-curry plural-arguments->currypath plural-arguments->frontend-exec plural-arguments->base ports ports ports->cpns ports->base printf->base process->base profiling->base profiling-pakcs profiling-pakcs profiling-pakcs->base prolog->base propertyfile->directory propertyfile->io-extra propertyfile->base queue queue queue->random queue->base random->time random->base read-legacy->base redblacktree->random redblacktree->base regexp->base residuation-analysis residuation-analysis residuation-analysis->cass residuation-analysis->cass-analysis residuation-analysis->csv residuation-analysis->currypath residuation-analysis->directory residuation-analysis->filepath residuation-analysis->flatcurry residuation-analysis->process residuation-analysis->base rewriting->abstract-curry rewriting->containers rewriting->transformers rewriting->base roman roman roman->base runcurry runcurry runcurry->currypath runcurry->directory runcurry->filepath runcurry->process runcurry->base scc->redblacktree scc->base searchtree->random searchtree->base searchtree-unsafe searchtree-unsafe searchtree-unsafe->searchtree searchtree-unsafe->base setfunctions->searchtree setfunctions->base showflatcurry->currypath showflatcurry->directory showflatcurry->filepath showflatcurry->flatcurry showflatcurry->process showflatcurry->wl-pprint showflatcurry->base smtlib->finite-map smtlib->wl-pprint smtlib->base smtlib-solver->smtlib smtlib-solver->wl-pprint smtlib-solver->base socket->base sourceproggui sourceproggui sourceproggui->currypath sourceproggui->flatcurry sourceproggui->gui sourceproggui->base spicey spicey spicey->abstract-curry spicey->ertools spicey->base stylechecker stylechecker stylechecker->curry-ast stylechecker->currypath stylechecker->json stylechecker->wl-pprint stylechecker->base time->base transbooleq transbooleq transbooleq->cass transbooleq->cass-analysis transbooleq->csv transbooleq->currypath transbooleq->directory transbooleq->filepath transbooleq->flatcurry transbooleq->process transbooleq->base transformers->base traversal traversal traversal->base ui ui ui->cpns ui->gui ui->random ui->traversal ui->base url url url->directory url->io-extra url->process url->base wl-pprint->queue wl-pprint->base wui wui wui->html wui->javascript wui->base wui2 wui2 wui2->global wui2->html2 wui2->inversion wui2->read-legacy wui2->time wui2->base xml->read-legacy xml->base xmldata xmldata xmldata->abstract-curry xmldata->currypath xmldata->directory xmldata->filepath xmldata->flatcurry xmldata->process xmldata->xml xmldata->base