("5.0.1.5" ("86d921fd566ef5c83a635d1d902721c0e55a3c94" . "57b59167274d913a8b71424f43b95d01778d56bb") (collects #"scheme" #"main.rkt") (collects #"mzlib" #"math.rkt") (collects #"deinprogramm" #"image.rkt") (collects #"lang" #"private" #"imageeq.rkt") (collects #"deinprogramm" #"signature" #"signature-syntax.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
