checkpoint darcs-hash:20080707194700-5007d-10a6e6f56e97b246550a43bccfac26e945ec8363.gz
checkpoint darcs-hash:20080707034221-5007d-d30681fadee561e3c071430890f2b0fad4bf2808.gz
checkpoint darcs-hash:20080707002123-5007d-c4ce1fb25eb174864117db302e1c0445407e4cb4.gz
checkpoint darcs-hash:20080706235514-5007d-ac23fa54fbd026c226b88549ed135cad515b7c77.gz
checkpoint darcs-hash:20080706231117-5007d-de586d390c28106ebfa766feead15a7914f83723.gz