Dependencies of xml

Package Dependencies cpm-manage cpm-manage cpm cpm cpm-manage->cpm spicey spicey ertools ertools spicey->ertools cass cass cpm->cass currybrowse currybrowse currybrowse->cass currycheck currycheck currycheck->cass currydoc currydoc currydoc->cass failfree failfree failfree->cass property-prover property-prover property-prover->cass residuation-analysis residuation-analysis residuation-analysis->cass transbooleq transbooleq transbooleq->cass verify verify verify->currycheck verify->cass xml xml cass->xml chr-curry chr-curry chr-curry->xml currypp currypp currypp->currycheck currypp->cass currypp->xml ertools->xml flatcurry-compact flatcurry-compact flatcurry-compact->xml flatcurry-xml flatcurry-xml flatcurry-xml->xml icurry icurry icurry->xml verify-non-fail verify-non-fail verify-non-fail->cass verify-non-fail->xml xmldata xmldata xmldata->xml base base xml->base