echo darcs-`date +%Y%m%d-%H%M%S`