("5.3.1" ("98a9a8d2af30d20dbb4eae6ac4762c8f39357a71" . "1b30332dce9b9c8ffe826d94ec8b09e0041e74dc") (collects #"srfi" #"13" #"string.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
