Dependencies of contracts

Package Dependencies verify verify currycheck currycheck verify->currycheck contract-prover contract-prover contracts contracts contract-prover->contracts currycheck->contracts currypp currypp currypp->currycheck currypp->contracts failfree failfree failfree->contracts property-prover property-prover property-prover->contracts verify-non-fail verify-non-fail verify-non-fail->contracts time time base base time->base process process process->base filepath filepath filepath->base searchtree searchtree random random searchtree->random searchtree->base queue queue queue->random queue->base random->time random->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->time directory->filepath directory->base allvalues allvalues allvalues->searchtree allvalues->base xml xml xml->base wl-pprint wl-pprint wl-pprint->queue wl-pprint->base transformers transformers transformers->base redblacktree redblacktree redblacktree->random redblacktree->base read-legacy read-legacy read-legacy->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 setfunctions setfunctions setfunctions->searchtree setfunctions->allvalues setfunctions->base flatcurry flatcurry flatcurry->filepath flatcurry->directory flatcurry->xml flatcurry->wl-pprint flatcurry->transformers flatcurry->redblacktree flatcurry->read-legacy flatcurry->frontend-exec flatcurry->currypath flatcurry->base contracts->setfunctions contracts->flatcurry contracts->base