("5.0.1.5" ("5f63f86a0dd7629602d7f1bef0cbc4994fb9d1b9" . "66a212025c2555da1aac7278c7503e2b7f86bee6") (collects #"scheme" #"base.rkt") (collects #"stepper" #"private" #"shared.rkt") (collects #"scheme" #"promise.rkt") (collects #"mzlib" #"struct.rkt") (collects #"deinprogramm" #"quickcheck" #"quickcheck.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
