("5.0.1.5" ("ea863e9575b9b76c88d820aa23675e58136a114b" . "da3a083228b213c39e573e6690fae93f1754be80") (collects #"scheme" #"base.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"mzlib" #"struct.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"scheme" #"include.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt") (ext collects #"deinprogramm" #"convert-explicit.scm"))
