("5.3.1" ("3a83ca161d9b7b184d70af31ef7ee0b98d9695e7" . "e879ff012f4a341116eb1aee78a88993dbaaadba") (collects #"srfi" #"60.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
