("8.1" racket ("d8e7827c91d761bfd51221118028bf2d7e2eeaa6" "c1096b6dca310d2303b33fa9548346e2a24aa4c2" . "0b9326a665379f831fda05e3f3d1e7f4ec59a00d") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"private" #"blame.rkt") (collects #"racket" #"contract" #"private" #"guts.rkt") (collects #"racket" #"contract" #"private" #"prop.rkt") (collects #"racket" #"runtime-config.rkt"))
