Dependencies of flatcurry

Package Dependencies markdown markdown html2 html2 markdown->html2 wui2 wui2 wui2->html2 cpm-manage cpm-manage cpm cpm cpm-manage->cpm cpm-manage->html2 spicey spicey ertools ertools spicey->ertools addtypes addtypes curry-source curry-source addtypes->curry-source verify verify cass cass verify->cass cass-analysis cass-analysis verify->cass-analysis currycheck currycheck verify->currycheck call-analysis call-analysis showflatcurry showflatcurry call-analysis->showflatcurry flatcurry flatcurry call-analysis->flatcurry cass->cass-analysis cpm-query cpm-query cass->cpm-query cass->flatcurry cass-analysis->flatcurry ccti ccti flatcurry-annotated flatcurry-annotated ccti->flatcurry-annotated ccti->flatcurry chr-curry chr-curry chr-curry->flatcurry contract-prover contract-prover contracts contracts contract-prover->contracts contract-prover->flatcurry-annotated flatcurry-type-annotated flatcurry-type-annotated contract-prover->flatcurry-type-annotated contract-prover->showflatcurry contract-prover->flatcurry contracts->flatcurry cpm->cass cpm->cass-analysis cpm->flatcurry cpm-query->flatcurry curry-source->flatcurry curry2js curry2js curry2js->flatcurry currybrowse currybrowse currybrowse->addtypes currybrowse->cass currybrowse->cass-analysis importusage importusage currybrowse->importusage currybrowse->showflatcurry currybrowse->flatcurry currycheck->cass currycheck->cass-analysis currycheck->contracts currycheck->curry-source currycheck->flatcurry currydoc currydoc currydoc->markdown currydoc->cass currydoc->cass-analysis currydoc->html2 currydoc->flatcurry currypp currypp currypp->cass currypp->cass-analysis currypp->contracts currypp->currycheck currypp->html2 currypp->flatcurry ertools->flatcurry failfree failfree failfree->cass failfree->cass-analysis failfree->contracts failfree->flatcurry-annotated failfree->flatcurry-type-annotated failfree->showflatcurry failfree->flatcurry flatcurry-annotated->flatcurry flatcurry-compact flatcurry-compact flatcurry-compact->flatcurry flatcurry-type-annotated->flatcurry-annotated flatcurry-type-annotated->flatcurry flatcurry-typed flatcurry-typed flatcurry-typed->flatcurry-annotated flatcurry-typed->flatcurry html2->flatcurry-annotated html2->flatcurry-type-annotated html2->flatcurry icurry icurry icurry->flatcurry importusage->flatcurry makefile makefile makefile->flatcurry nonstrictunif-optimize nonstrictunif-optimize nonstrictunif-optimize->flatcurry peval peval peval->flatcurry-annotated peval->flatcurry property-prover property-prover property-prover->cass property-prover->cass-analysis property-prover->contracts property-prover->flatcurry-annotated property-prover->flatcurry-type-annotated property-prover->showflatcurry property-prover->flatcurry residuation-analysis residuation-analysis residuation-analysis->cass residuation-analysis->cass-analysis residuation-analysis->flatcurry rw-data-generator rw-data-generator rw-data-generator->flatcurry setfunction-synthesis setfunction-synthesis setfunction-synthesis->flatcurry-annotated setfunction-synthesis->flatcurry showflatcurry->flatcurry sourceproggui sourceproggui sourceproggui->flatcurry transbooleq transbooleq transbooleq->cass transbooleq->cass-analysis transbooleq->flatcurry verify-non-fail verify-non-fail verify-non-fail->cass verify-non-fail->cass-analysis verify-non-fail->contracts verify-non-fail->flatcurry xmldata xmldata xmldata->flatcurry directory directory filepath filepath directory->filepath time time directory->time base base directory->base process process process->base filepath->base queue queue random random queue->random queue->base string-trie string-trie containers containers string-trie->containers profiling profiling string-trie->profiling string-trie->base containers->random containers->base random->time random->base propertyfile propertyfile propertyfile->directory propertyfile->base io-extra io-extra io-extra->directory io-extra->process io-extra->base execpath execpath execpath->directory execpath->filepath execpath->base xml xml xml->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base transformers transformers transformers->base time->base rw-data rw-data rw-data->directory rw-data->process rw-data->string-trie rw-data->containers read-legacy read-legacy rw-data->read-legacy rw-data->profiling rw-data->base redblacktree redblacktree redblacktree->random redblacktree->base read-legacy->base profiling->base frontend-exec frontend-exec frontend-exec->process frontend-exec->filepath frontend-exec->propertyfile currypath currypath frontend-exec->currypath frontend-exec->base currypath->directory currypath->filepath currypath->propertyfile currypath->io-extra currypath->execpath currypath->base flatcurry->directory flatcurry->filepath flatcurry->xml flatcurry->wl-pprint flatcurry->transformers flatcurry->time flatcurry->rw-data flatcurry->redblacktree flatcurry->read-legacy flatcurry->profiling flatcurry->frontend-exec flatcurry->currypath flatcurry->base