("5.0.1.5" ("f41adabbed733ae41b3c3de72a80abc20064514a" . "b55983124b12a751a9f3fd7ab2c3ca02108ed0c8") (collects #"scheme" #"base.rkt") (collects #"srfi" #"9.rkt") (collects #"scheme" #"include.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt") (ext collects #"deinprogramm" #"quickcheck" #"random.scm"))
