("9.3" tla64le ("30591101153b11de5677a14c243c25b1fec6cf44" . "5175238b03db7227d64b293ee06066137251650a") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"2.rkt"))
