("5.0.1.5" ("14fa47e18e89296821d39d1fe88a8fb331d8b701" . "9f73309256ffec22466d0d2ab6532849e43a0e8c") (collects #"scheme" #"base.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"htdp" #"error.rkt") (collects #"deinprogramm" #"image.rkt") (collects #"lang" #"htdp-beginner.rkt") (collects #"lang" #"prim.rkt") (collects #"deinprogramm" #"signature" #"signature-syntax.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
