("7.2" racket ("798cb80049456d076bbafbb3cf1d144ae1355c31" . "59171e60e41361e7f736271c77aae5f110513125") (collects #"lang" #"private" #"firstorder.rkt") (collects #"lang" #"private" #"signature-syntax.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt"))
