("5.0.1.5" ("a64d8858cf0af52e8bb41dc8227e7033897ddbcd" . "95bf3d2aca8fabb93d14e49dcce9994c1900aa39") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
