("5.3.1" ("8ef44a92dfdfeb642d02b8dd569a57a8bfe8e1fe" . "6c4844564a802c68b2bcbfd3595383bcffeebc33") (collects #"racket" #"base.rkt") (collects #"racket" #"string.rkt") (collects #"racket" #"date.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
