("5.3.1" ("3375b39596f8a99db461375b8ed30b75e70b9ea7" . "1a37d5f30499b04a3b80f8361411aef87ebf7948") (collects #"unstable" #"automata" #"machine.rkt") (collects #"racket" #"stxparam.rkt") (collects #"racket" #"base.rkt") (collects #"unstable" #"automata" #"re.rkt") (collects #"unstable" #"automata" #"re-ext.rkt") (collects #"unstable" #"temp-c" #"monitor.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
