checkpoint darcs-hash:20080707195626-5007d-2c7d43f379be707546d34a451c38cb39cca407f4.gz
checkpoint darcs-hash:20080629044727-5007d-82e649c22f31951011423bd8123d5cafcfb6a538.gz
checkpoint darcs-hash:20071205040722-5007d-97201547773e464dbcd363718ed6f2a518a3b6f8.gz