Dependencies of containers

Package Dependencies markdown markdown html2 html2 markdown->html2 wui2 wui2 wui2->html2 addtypes addtypes curry-source curry-source addtypes->curry-source cpm-manage cpm-manage cpm-manage->html2 cpm cpm cpm-manage->cpm spicey spicey ertools ertools spicey->ertools smtlib-solver smtlib-solver smtlib smtlib smtlib-solver->smtlib ccti ccti ccti->smtlib-solver flatcurry-annotated flatcurry-annotated ccti->flatcurry-annotated flatcurry flatcurry ccti->flatcurry ccti->smtlib chr-curry chr-curry chr-curry->flatcurry contracts contracts contracts->flatcurry cpm-query cpm-query cpm-query->flatcurry curry-source->flatcurry string-trie string-trie curry-source->string-trie curry2js curry2js curry2js->flatcurry ertools->flatcurry flatcurry-annotated->flatcurry flatcurry-compact flatcurry-compact flatcurry-compact->flatcurry flatcurry-typed flatcurry-typed flatcurry-typed->flatcurry-annotated flatcurry-typed->flatcurry html2->flatcurry-annotated html2->flatcurry flatcurry-type-annotated flatcurry-type-annotated html2->flatcurry-type-annotated importusage importusage importusage->flatcurry makefile makefile makefile->flatcurry nonstrictunif-optimize nonstrictunif-optimize nonstrictunif-optimize->flatcurry peval peval peval->flatcurry-annotated peval->flatcurry rw-data-generator rw-data-generator rw-data-generator->flatcurry rw-data rw-data rw-data-generator->rw-data setfunction-synthesis setfunction-synthesis setfunction-synthesis->flatcurry-annotated setfunction-synthesis->flatcurry showflatcurry showflatcurry showflatcurry->flatcurry sourceproggui sourceproggui sourceproggui->flatcurry xmldata xmldata xmldata->flatcurry cass cass cpm->cass cass-analysis cass-analysis cpm->cass-analysis cpm->flatcurry cpm->rw-data currydoc currydoc currydoc->markdown currydoc->html2 currydoc->cass currydoc->cass-analysis currydoc->flatcurry residuation-analysis residuation-analysis residuation-analysis->cass residuation-analysis->cass-analysis residuation-analysis->flatcurry transbooleq transbooleq transbooleq->cass transbooleq->cass-analysis transbooleq->flatcurry transbooleq->rw-data verify verify verify->cass verify->cass-analysis currycheck currycheck verify->currycheck rewriting rewriting verify->rewriting scc scc verify->scc call-analysis call-analysis call-analysis->showflatcurry call-analysis->flatcurry containers containers call-analysis->containers cass->cpm-query cass->cass-analysis cass->flatcurry cass->rw-data cass->scc cass->containers cass-analysis->flatcurry cass-analysis->rw-data cass-analysis->scc cass-analysis->containers contract-prover contract-prover contract-prover->contracts contract-prover->flatcurry-annotated contract-prover->showflatcurry contract-prover->flatcurry contract-prover->flatcurry-type-annotated contract-prover->containers currybrowse currybrowse currybrowse->addtypes currybrowse->importusage currybrowse->showflatcurry currybrowse->cass currybrowse->cass-analysis currybrowse->flatcurry currybrowse->containers currycheck->contracts currycheck->curry-source currycheck->cass currycheck->cass-analysis currycheck->flatcurry currycheck->rewriting currycheck->rw-data currycheck->containers currypp currypp currypp->contracts currypp->html2 currypp->cass currypp->cass-analysis currypp->currycheck currypp->flatcurry currypp->containers failfree failfree failfree->contracts failfree->flatcurry-annotated failfree->showflatcurry failfree->cass failfree->cass-analysis failfree->flatcurry failfree->flatcurry-type-annotated failfree->rw-data failfree->containers flatcurry->rw-data flatcurry->containers flatcurry-type-annotated->flatcurry-annotated flatcurry-type-annotated->flatcurry flatcurry-type-annotated->rewriting flatcurry-type-annotated->scc flatcurry-type-annotated->containers graph-inductive graph-inductive graph-inductive->containers icurry icurry icurry->flatcurry icurry->containers property-prover property-prover property-prover->smtlib-solver property-prover->contracts property-prover->flatcurry-annotated property-prover->showflatcurry property-prover->cass property-prover->cass-analysis property-prover->flatcurry property-prover->flatcurry-type-annotated property-prover->rw-data property-prover->smtlib property-prover->containers rewriting->containers rw-data->string-trie rw-data->containers scc->containers smtlib->containers string-trie->containers verify-non-fail verify-non-fail verify-non-fail->contracts verify-non-fail->cass verify-non-fail->cass-analysis verify-non-fail->flatcurry verify-non-fail->rw-data verify-non-fail->scc verify-non-fail->containers time time base base time->base random random random->time random->base containers->random containers->base