("9.3" tla64le ("b5487eee6bace695b807d86c568e49f27886996a" . "e18265f1862bb953e81d175470a1ea56eaace24d") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
